@CHARSET "ISO-8859-1";
/* @version $Id: basic.css,v 1.5 2009/07/25 20:41:02 cvsa Exp $ */
p {
	margin: 0
}

:link {
	color: #000099
} /* for unvisited links */
:visited {
	color: #000099
} /* for visited links */
a:active {
	color: #000099
} /* when link is clicked */
a:hover {
	color: #990099
} /* when mouse is over link */
h1 {
	margin-left: 0%;
	font-family: Ariel, san-serif;
	font-size: 150%;
	text-decoration: underline;
}

h2 {
	margin-left: 4%;
	font-family: Ariel, san-serif;
	font-size: 100%;
	text-transform: none;
	text-decoration: none;
	font-weight: bold;
}

h5 {
	font-family: Ariel, san-serif;
	font-size: smaller;
	text-transform: none;
	text-decoration: none;
	font-weight: normal;
}

h1.subsection {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

h2.subsection {
	margin-left: 5%;
	margin-right: 5%;
	margin-top: 0.5em;
	margin-bottom: -1.0em;
}

h3, h4, h5, h6 {
	margin-left: 0;
	font-family: Ariel, san-serif;
	font-weight: normal;
}

h4.body {
	margin-left: 5%;
	margin-right: 5%;
}

li.list {
	margin-left: 4%;
	margin-right: 4%;
	margin-top: 0em;
	list-style-type: disc;
	list-style-position: outside;
}

li.indentlist {
	margin-left: 2%;
	margin-right: 2%;
	margin-top: 0em;
	list-style-type: disc;
	list-style-position: outside;
}

h1, h2, h3, h4, h5, p, ul {
	font-family: serif;
}

pre {
	font-family: monospace;
}

body {
	margin-left: 5%;
	margin-right: 5%;
	color: black;
	background: #FFFFEB;
	font-family: Ariel, san-serif;
	font-weight: normal;
	font-size: 13pt;
}

div.content {
	font-size: 13pt;  
}

p.body {
	margin-left: 2%;
	margin-right: 1%;
}

p.header {
	font-size: 150%;
	font-family: Cursive, Times New Roman;
	font-weight: bold;
	line-height: 100%;
}

table.projtable {
	width: 85%;
	margin-left: 8%;
	margin-bottom: -1.0%;
	border: solid;
	border-width: thin;
	border-color: black;
}

th.projinfo {
	text-align: left;
	vertical-align: top;
	margin-bottom: -1.0%;
}

p.projtitle {
	font-size: 80%;
	text-decoration: underline;
	font-weight: bold;
	line-height: 120%;
}

p.projbody {
	font-size: 90%;
	text-decoration: none;
	font-weight: normal;
	line-height: 100%;
	margin-right: 5%;
}

p.changed {
	padding-left: 0.2em;
	border-left: solid;
	border-right: none;
	border-top: none;
	border-bottom: none;
	border-left-width: thin;
	border-color: red;
}

div.silvercolorbox {
	margin-left: 0%;
	background: #c0c0c0;
	padding: 0em;
	border: solid;
	border-width: thin;
	width: 100%
}

div.ltbluecolorbox {
	margin-left: 0%;
	background: lightblue;
	padding: 0.5em;
	border: solid;
	border-width: thin;
	width: 100%
}

div.ltgreenThumbcolorbox {
	margin-left: 10%;
	background: #99CC99;
	padding: 0.5em;
	border: solid;
	border-width: thin;
	width: 100%
}

div#links a {
	display: inline;
	color: #000099
}

div#links a:hover {
	color: #000099;
	background: rgb(255, 255, 216)
}

div#links a span {
	display: none;
}

div#links a:hover span {
	display: block;
	position: absolute;
	left: 450px;
	width: 300px;
	color: white;
	background: black;
	font: 10px Verdana, sans-serif;
	text-align: center;
}

div.address a {
	display: inline;
	color: #000099
}

div.address a:hover {
	color: #000099;
	background: rgb(255, 255, 216)
}
<!--                          -->
div.address a span {
	display: none;
}

div.address a:hover span {
	display: block;
	position: absolute;
	left: 200px;
	width: 300px;
	color: black;
	background: #d2d2d2;
	font: 10px Verdana, sans-serif;
	text-align: center;
}
<!--                         -->
div#define a {
	display: inline;
	color: #000099
}

div#define a:hover {
	color: #000099;
	background: rgb(255, 255, 216)
}

div#define a span {
	display: none;
}

div#define a:hover span {
	display: block;
	position: relative;
	left: 50px;
	width: 400px;
	color: white;
	background: black;
	font: 10px Verdana, sans-serif;
	text-align: center;
}

div.menu {
	width: 100%;
	margin-left: 0%;
	margin-right: 0%;
	margin-top: 0%;
	margin-bottom: 0%;
	background: #c0c0c0;
	border: solid;
	border-width: thin;
}

table.menu {
	width: 100%;
	margin-left: 0%;
	margin-right: 0%;
	margin-top: 0%;
	margin-bottom: 0%;
	background: #c0c0c0;
	border: solid;
	border-width: thin;
	padding: 0.5em;
}

td.onmenu {
	font-weight: normal;
	background: #99CC99;
	border: solid;
	border-width: thin;
	border-color: black;
}

td.offmenu {
	background: #c0c0c0;
	border: none;
	border-width: thin;
}

div.header_container {
	background: #c0c0c0;
	border: 1px solid #666;
	height: 0;
	left: 0;
	right: 0;
	position: fixed;
	top: 0;
	min-width: 700px;
}

div.header {
	line-height: 1em;
	margin-left: 0px;
	margin-right: 0px;
	margin-top: 1px;
	text-align: center;
	font-size: 14pt;
}

div.container {
	margin: 0 auto;
	overflow: auto;
	padding-top: 200px;
	width: auto;
	min-width: 650px;
}

.hotspot {
	position: absolute;
	border: 0px solid blue;
}

.hotspot + * {
/*	pointer-events: none;  "hides until mouseover, can't select'" */
	pointer-events: all;
	opacity: 1.0;  /* 0 makes invisible until mouseover */
}

.hotspot:hover + * {
	opacity: 1.0;
}