<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;
white-space:pre;
}
.lit0{
color:#006600;
font-family:monospace;
font-weight:bold;
white-space:pre;
}
.file,.filename
{
color:#009999;
font-family:sans-serif;
font-weight:bold;
white-space:pre;
}
.name
{
color:#0000AA;
font-family:sans-serif;
font-weight:bold;
white-space:pre;
}
.term
{
color:#00AA00;
font-family:sans-serif;
font-style:italic;
}
.var{
font-family:monospace; 
color: darkred;
}
.serr{
color: green;
}
.taller{
line-height:140%;
}
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; }
</style>
