/* Default styles for the NESTOC pages */
/* Written by Vic Norton, Feb, 2001    */

body {
	background: white;
	color: black;
	font-family: Arial, Helvetica, sans-serif;
}

h1 {
	font-family: "Times New Roman", Garamond, serif;
	font-size: 200%;
}

h2 {
	font-family: "Times New Roman", Garamond, serif;
	font-size: 150%;
	margin-bottom: -0.5ex;
}

pre {font-family: monospace}

a:link { color: blue }
a:visited { color: purple }
a:active { color: red }

div.main {
	margin-left: 0.5em;
	width: 38em;
}

div.nestoc {
	background: #ffc;
	padding: 1em;
	border: thin black solid;
}

div.indent {
	margin-left: 2em; 
}

div.left-box {
	float: left;
	margin: 0em .5em .5em 0em;
	background: #ffc;
	padding: .5em;
	border: thin black solid;
}

span.nestoc {
	font-size: 120%;
	font-weight: bold;
	background: #ffc;
	padding: 0.5em;
	border: thin black solid;
}

span.left-box {
	float: left;
	margin: 0em .5em .5em 0em;
	background: #ffc;
	padding: .5em;
	border: thin black solid;
}

span.menu-box {
	margin: 0em .5em .5em 0em;
	background: #ffc;
	padding: .5em;
	border: thin black solid;
	font-size: 150%;
	font-weight: bold;
}

span.bb1 {
	font-size: 125%;
	font-weight: bold;
}

span.bb2 {
	font-size: 150%;
	font-weight: bold;
}