p {  
	font-family:Arial;
	color:#000080;
	font-size:10pt; text-align:left; word-spacing:0; margin-left:0; margin-right:0; margin-top:0; margin-bottom:6

	}
	
.pagetitle   { font-family: Arial; color: #D90000;
 font-size: 24pt; font-weight: bold; 
               margin-right: 3; word-spacing:0; margin-left:0; margin-top:0; margin-bottom:0 }

.portlocations {
	font-family:Arial;
	color:#D90000;
	size:12pt;
	margin-bottom: 0px; font-size:24pt; font-weight:bold; text-align:left; margin-left:0; margin-right:0; margin-top:0
	}
               
a:link {
	color: #FF0000;
	text-decoration:none
	}
	
a:visited {	
	text-decoration:none;
	}
	
h1 {
	font-family:arial;
	color:#D90000;
	size:12pt;
	margin-bottom: 4px;
	}
	
h2 {
	font-family:arial;
	color:#D90000;
	size:12pt;
	margin-bottom: 4px;
	margin-top: 0px;
	text-decoration:none;
	}

h3 {
	font-family:arial;
	color:#000080;
	size:10pt;
	margin-top:2px;
	margin-bottom: 2px;
	font-weight: bold;	
	}
		
.footerlink { 
	color: #000080;
	text-decoration:none;
	font-weight: bold;
	}
	
.small {  
	font-family:arial;
	color:#000080;
	font-size:8pt;
	margin-top: 1px; 
	margin-bottom: 1px;
	}

.invisible {
	font-size:0 }

.textbutton {
	margin-top: 0; 
	margin-bottom: 0;
	font-family:arial;
	font-weight: bold;	
	size:14pt;
	color:#000080;
	text-decoration: none;
	}

.hbutton { 
	border:1px solid #CC0000; text-decoration: none; 
	font-family: Arial; 
	font-size: 10pt; 
	color: #FFFFFF; 
	font-weight: bold; 
	padding-left:4px; 
	padding-right:4px; 
	padding-top:1px; 
	padding-bottom:1px; background-color:#000080 
	}
               
.hbutton a {
	text-decoration: none; color:#FFFFFF  
	}
     

.hbutton a:hover {
	color:#CC0000; 
	}

  
.PortName    { 
	font-family: Arial; text-decoration: none; font-weight: bold; color: #CC0000; 
               text-align: center; 
               font-size-"2" ; width:100%
			}
             
.PortName a
	{ 
		title: "Click for details on this port"; 
		color:#FF0000;
		alt: "Click for details on this port"; 
	}
             
.PortName a:hover { border:1px solid #000000; padding:1px; color: #FFFFFF; background-color: #CC0000}             
	
.warn   { color: rgb(120,0,0); background-color: transparent; font-weight: normal; }
.error  { color: red; font-weight: bold }