pre.gray {
        background-color: buttonface;
        border: 1px solid black;
        color: black;
        line-height: 1.1em;
        font-family: monospace;
	vertical-align: center;
        padding: 1em;
}
select.gray {
	vertical-align: center;
        font-family: monospace;
	margin: 0;
	padding-right: 0;
}
select {
	vertical-align: center;
        font-family: monospace;
	margin: 0;
	padding: 0;
}

input.gray {
	vertical-align: center;
        font-family: monospace;
	font-size: 100%;
}

//a.header {cursor:pointer; font-size: 100%; color: blue; text-decoration: underline;} /* unvisited link */
a.header {cursor:pointer; font-family: monospace; color: blue; text-decoration: underline;} /* unvisited link */
a.header:link {color: blue; text-decoration: underline;} /* unvisited link */
a.header:active {color: red; text-decoration: underline;}
a.header:visited {color: blue;} /* visited link */
a.header:hover {color: white;
background-color:blue; text-decoration: underline;} /* mouse over link */

a.header2 {cursor:pointer; font-family: monospace; color: blue; text-decoration: underline;background-color:white} /* unvisited link */
a.header2:link {color: blue; text-decoration: underline;} /* unvisited link */
a.header2:active {color: red; text-decoration: underline;}
a.header2:visited {color: blue;} /* visited link */
a.header2:hover {color: white;
background-color:blue; text-decoration: underline;} /* mouse over link */

span.display {display:none};