body {
    margin: 0px 14px 0px 14px;
	 /* n6.01win-mac won't recognize top margin 
	 for middle box, so it goes here */
	padding: 0px 0px 0px 0px;
	background: white;
	background-image: url('bg_gradient_light_grey.png');
	background-repeat: repeat-x;
	font-family:sans-serif;
	font-size:12px;
	
}

/* the following two are parsed by IE _and_ proper browsers */
#titlelogo {
    position: absolute; 
	top: 20px;
	left: 20px;
}

#leftlinks {
    position: absolute; 
	top: 130px;
	left: 10px;
}

#titlestring {
    position: absolute; 
    top: -10px; 
    left: 165px;
}

/* within our #outer, #center holds everything else */
#center {
	margin: 50px 10px 0px 130px; /* n6.01win n6mac won't recognize top margin for middle box, so it goes in body */
	/* background: white; */
}

#content {
	margin-top: 20px;
	border-left: 1px dotted #808080;
	border-bottom: 1px dotted #808080;
	padding: 0px 20px 10px 10px;
}
.mainpage { 
    padding-left: 10px;
}
.mainpage h1, .mainpage h2, .mainpage h3 { 
    margin-left: 0px;
}

#searchable {
	text-align: justify;
	display: inline-block;
	padding: 0px;
	margin: 0px;
}

/* within #center, #banner is a parent div for #header (the logo) and the three navigation bars */
/* within #banner, #header is the logo (our virtualbox logo) */
/* #banner {
    display:none;
} */

#header, #search {
    display: none;
}
     
/* these are the three navigation bars
   generated by trac; we just kill these */
/* #metanav: is already within #banner */ #mainnav, #ctxtnav {
    display: none;
}

/* formatting section */
body, th, td {
    font-family: Verdana,'Bitstream Vera Sans',sans-serif;
}

h1, h2, h3, h4 {
    /* font-family: 'Palatino Linotype','Bitstream Vera Serif'; */
    font-family: 'Arial', 'Helvetica', sans-serif;
    font-weight: bold;
    letter-spacing: .03em;
    text-align: left;
    margin: 1em 0 0 0;
}
h1 :link, h1 :visited, h2 :link, h2 :visited, h3 :link, h3 :visited {
    border: none;
}

h1 {
	font-size: 280%; 
	padding-left: 0px;
	border-bottom: none;
	/* border-bottom: 2px solid black; */
}
h2 {
    font-size: 135%; 
    padding-left: 0px;
    padding-bottom: 2px;
    border-bottom: 1px dotted #808080;
    
}
h3 {
    font-size: 115%; 
    border-bottom: none;
}

td {
    text-align: left;
}

:link, :visited {
    text-decoration: none;
    color: #0000C0;
    border-bottom: none;
}
:link:hover, :visited:hover {
    background-color: blue;
    color: white;
}

.leftframe {
    color: #a0a0a0;
}

#leftlinks {
    padding-top: 20px;
    padding-left: 10px;
    line-height: 200%;
}




