p,table,li,h1,h2,h3
{
font-family: times, serif; 
}

p, h1, h2, h3, table, li, hr
{
margin-left: 10pt;
}

p,li,th,td
{
font-size: 90%;
}

code, code pre
{
font-family: courier, serif;
margin-left: 15pt;
}

li
{ 
margin-bottom: 6px;
margin-top: 6px;
}

div.emp, span.emp
{ 
font-style: italic;
font-family: times, sans serif;
color: DarkBlue;
}

div.bold, span.bold
{ 
font-weight: bold;
font-family: times, sans serif;
color: DarkBlue;
}

span.code
{  
font-family: courier, serif;
color: DarkBlue;
}

code.unix
{
color:blue
}

body
{
background-color: #EFE7D6;
color: navy;
line-height: 14pt;
}

h1
{
color: DarkBlue;
}

h1.extitle
{
color: MediumBlue;
font-weight: bold;
text-align: center; 
font-size: 160%;
}

h1.itemtitle
{
color: MediumBlue;
font-weight: bold;
text-align: center; 
font-size: 120%;
}


h2.help, h2.submit, h2.subtitle
{ 
color: DarkBlue;
font-weight: bold;
text-decoration: underline; 
font-size:90%
}

h3.subtitle
{ 
color: DarkBlue;
font-weight: bold;
text-decoration: none; 
font-size:90%
}

p.coursetitle
{  
color: MidnightBlue;
font-weight:bold;
text-align: center;
font-size: 100%;
margin-bottom: 2px;
margin-top: 2px;
}

h2,h3,hr
{
color: DarkBlue;
}

h2.subdate
{ 
color: MidnightBlue;
font-weight: bold;
text-align: center;
font-size: 90%;
}

a:link {COLOR: MediumBlue;}
a:visited {COLOR: MediumBlue;}
a:active {COLOR: navy;}
a:hover {COLOR: navy;}

a.content:link {COLOR: seashell;}
a.content:visited {COLOR: seashell;}
a.content:active {COLOR: seashell;}
a.content:hover {COLOR: papayawhip;}

a.title:link {COLOR: navy;}
a.title:visited {COLOR: navy;}
a.title:active {COLOR: DarkBlue;}
a.title:hover {COLOR: DarkBlue;}

table.info
{
border-width: 2px;  
width: 860px; 
background: #FFFFE0;  
}

th.info
{
background: Khaki;
color:Midnightblue;
border: 1px solid #A0522D;
padding: 2px, 3px;
width: auto;
}

td.info, tr.info
{  
color: DarkBlue;
background: #FFFACD;
border: 1px solid #DAA520;
padding: 2px, 3px;
width: auto; 
}

span.instruction {font-weight: bold; }
img.screen { padding-top:20px; padding-bottom:20px; }
span.filetype { font-weight: bold; }
span.warning{ font-weight: bold; color:red; }
span.antproperty{ font-weight: bold; color:blue; }