/* CSS Layout */

/* top-most box, includes all other boxes */
#mainbox {
		position: relative;
		top: 0px;
		left:-.6em;
		right: 0em;
		min-height: 26em; 
		padding-bottom: 2em;		
	}

#header {
       		position: fixed;
	        width: 99%;
	        height: 115px;
        	top: 0;
	        right: 0;
	        bottom: auto;
	        left: 0;
		margin: .15em;
		position: relative;
		display: block;		
        }

div#header img {
	display: none;
}
	
/* .urhere:after {
	content: "<";
}

.urhere:before {
	content: ">";
	}

.urhere {
 	      text-decoration: none; 
	      font-weight    : normal !important;		
	} */
	
#left_sidebar {
  		position: absolute;
		
	        width: 10em;
 	        height: auto; 
	        top: 1em;
		float: right;	        
	        right: -12em;
		clear: right;
		font-family: Verdana;
		font-size  : 10px !important;
		
		/* display: none; */
	}  
	
#right_sidebar {
  		position: absolute;
		overflow: auto;
	        width: 10em;
 	        height: auto; 
	        top: 1em;	        
		display: none;
	        right: 1em;
}

#main {
		position: relative;
		overflow: auto;
		width: 100%;
		left: 0em;
		top: 0em;
		height: auto;
		padding-left: .3em;
		padding-right: .3em;
		padding-bottom: 2em; 

		background-color: #e5e5e5;
		border-style: solid;
	        border-width: thin;  
		border-right-width: 2px;
		border-bottom-width: 2px;     
	        border-color: black;
				
}

/*  This includes a picture in the upper right for the current topic */
#topic_logo {
		display: none;
		position: absolute;
		top: 14px;
		right:1em;
		
}

/*  div#main:after {
		content: "$LAST_MODIFIED";
} */


  
div#main a, a:link, a:active, a:visited {
	     /*  text-decoration: none; */ 
	     color          : blue; 
	      font-family    : Verdana, Helvetica;
	     /*  font-weight    : bold; */
}

div#main a:hover {
		color: blue;
}

#footer2 {
		position: relative;
		display: block;
		bottom: 0px;
		left: 0px;
		right: 0px;
		height: 58px;
		padding-top: 2em;				
}

div#footer2 img {display: none;}

/* a.offsite:after {
		content: " (offsite link)";
		}
		
a.offsite {	
		color: #0BAA00 ! important;
	}
 */
 
/* #infobox {
		display: none;
		top: 00px;
		z-index: 100;
		left: 200px;
		height: 200px;
		width: 20em;
		border-style: solid;
		border-width: 1px;
		background-color: #e5e5e5; 

	}	
 */ 
 
.info span {
		display: none;		
	}
		
.info:hover span {
		display: block;			
		position: absolute;			
		text-decoration: none;
		font-weight: normal;
		color: black;
		top: 24.5em;
		left: 0em;
		width: 9.5em;
		margin-top: .5em;
		margin-bottom: .5em;		
}

.hidden {
		display: none;
	}
	
	

/* Colors, fonts and eyecandy */

a, a:link, a:active, a:visited {
	      text-decoration: none;
	      color          : #36383B;
	      font-family    : Verdana, Helvetica;
	      font-weight    : bold;
}

a:hover {
		color: blue;
}

body, table {
		font-family: Verdana;
		font-size  : 10px;
		color      : #1D1F22;
		background-color: #BCBCBC; 
	}

h5 {
		/* Needed for IE */
		padding-top: 1em;
		font-family: Verdana;		
		font-size  : 10px;
		text-decoration: underline;		
	}

dd {
		position: relative;
		left: -3em
		
}

li {
		position: relative;
		left -2em;
}

dt {
		font-family: Verdana;
		font-size  : 10px;
		/* text-decoration: underline; */
		
		padding: .5em;				
}

pre {
		font-size  : 10px;		
		border-style: dashed;
	        border-width: thin;  
	        border-color: black;
		padding: 1em;
/* 		background-color: black; 
		color: white; */
	}

/* thin bordercolor for tables */
.border		{ background-color: #54575B; margin: .15em;}

/* bgcolor of the page */
.normal		{ background-color: #BCBCBC;}	

/* normal bgcolor for any box */      
.bright		{ background-color: #e5e5e5; }

/* Navigation box */
.navbox {
		font-family: Verdana;
		font-size  : 10px;
		font-weight    : normal;
		font-style: normal;
		text-decoration: none;
		background-color: #e5e5e5;
		border-style: solid;
		border-width: thin;       
		border-color: black; 	

		border-right-width: 2px;
		border-bottom-width: 2px;     


}

.navbox_row {		
		padding: .2em;
		background-color: #e5e5e5;		
		border-style: none none solid none;
		border-width: thin;       
		border-color: #BCBCBC; 	
		text-align: center;	
}	

.navbox_row_active {
		padding: .2em;
		background-color: #C8C8C8;
		/* border-style: none none solid none; */
		border-style: solid none solid none;
       
/* 		border-color: #BCBCBC;  */
		border-color: black;
		border-width: 1px;
		text-align: center;		
	 
}

#navbox_topic {
		font-family: Verdana;
		font-size  : 16px;
		font-weight    : bold;		
		padding: .2em;
		color: #1D1F22;
		background-color: #BCBCBC;
		border-style: none none solid none;
		border-width: thin;       
		border-color: black;
		text-align: center;
}

#navbox_topic2 {
		font-family: Verdana;
		font-size  : 16px;
		font-weight    : bold;		
		padding: .2em;
		color: #1D1F22;
		background-color: #BCBCBC;
		border-style: none none solid none;
		border-width: thin;       
		border-color: black;
		text-align: center;
}

/* Page heading */
.heading {
		font-family: Verdana;
		font-size  : 12px;
		font-weight    : normal;
		font-style: normal;
		text-decoration: none;
}

/* location text [Home / Blahh] */	
#location {
		font-family: Verdana;
		font-size  : 8px;
		font-weight    : normal;
		font-style: normal;
		text-decoration: none;	
		padding: .5em;
		display: none;
}

.xtable {
		font-family: Verdana;
		font-size  : 14px;
		text-decoration: none;
		font-style: normal;
		background-color: #95FFA0;
	}

.hidden_table {
		background-color: #e5e5e5;
/* 		border-color: black;
		border-width: 1px; */		
	}

.bash_string {
		font-family: fixed;
		font-size: 14px;
		font-style: normal; 
		font-weight: bold;	
}

.var {
		color: red;
		font-weight: normal;
	}

.string {
		color: blue;
		font-weight: normal;
	}
	
.regexp {
		font-weight: normal;
		color: green;
	}

#last_modified {
		position: relative;
		top: 2em;
		font-family: Verdana;
		font-size  : 10px;
		text-decoration: none;
		font-style: normal;
		color:	#c4c4c4;		
		text-align: center;
		left: 0px;
		right: 0px;						 
	}
	
#last_modified:hover {
		color: black;					
	}
	
.nice_table {
		background-color: black !important;
	}