<style type=text/css>
//<link rel="stylesheet" type="text/css" href="./style.css">
//<link rel="stylesheet" type="text/css" href="../../../myStyle.css">

.menu { color:darkgreen; font-family:sans-serif; }
.keys { color:darkred; font-family:sans-serif; }
.file { color:navy; font-family:sans-serif; }
.question { color:red; font-family:serif;}
.gold { color: #C2A14D; }
.purple { color: #450084; }
.pad10 { cellpadding: 10; }

.schedhed {   font-family: helvetica;
  font-size: large;
  font-style: italic;
  font-weight: bold;
   text-align: center;
  color: #450084;} 

.bug	{ color:black; }
.out	{
	color:#0000AA;
	background-color:#DDFFDD;
	border:solid 1px #AAAAAA;
	padding:0px 3px;
	font-family:monospace;
	white-space:pre;
	}
.lit	{
	color:#006600;
	background-color:#FFFFDD;
	border:solid 1px #AAAAAA;
	padding:0px 3px;
	font-family:monospace;
	font-weight:bold;

	}
.lit0	{
	color:#006600;
	font-family:monospace;
	font-weight:bold;

	}
.file,.filename	
	{
	color:#009999;
	font-family:sans-serif;
	font-weight:bold;

	}
.name	
	{
	color:#0000AA;
	font-family:sans-serif;
	font-weight:bold;

	}
.term	
	{
	color:#00AA00;
	font-family:sans-serif;
	font-style:italic;
	}
.var	{
	font-family:monospace; 
	color: darkred;
	}
.serr	{
	color: green;
	}
.taller	{
	line-height:140%;
	}
.exp	{
	background-color:#EEEEEE;
	}
	
h1 {  text-align: center;  color: #450084;}
h2 {  text-align: left;  color: #450084;}
h3 {  color: #450084;}
hr { background-color: #450084; size: .2in; width: 50%}
table { margin-left: auto; margin-right: auto; }
dt { font-weight:bold; }
li {padding:5px 0px 5px 0px;}
</style>

