body
{
max-width:1200px;  /* might not be a good idea.  Seems to help on really wide monitors, though */
font-size:100%;
background-color:#f4f8f4; 
font-family:Arial,Garuda,Helvetica,sans-serif;   /* Garuda: font for Linux */
padding: 0px 0px 0px 0px;
margin: 0 auto 0 auto;
border: 2px solid  #a030a0;
}

h1,h2,h3,h4
{
font-family:arial,sans-serif;  
}

h1
{
text-align:center;
color:blue;
}

h2
{
color:darkblue;
margin-left: 5pt;
margin-right: 5pt;
}

p
{
margin-left: 5pt;
margin-right: 5pt;
}

p.answer
{
margin-left: 15pt;
margin-right: 5pt;
}

p.rightAnswer
{
margin-left: 15pt;
margin-right: 5pt;
}

p.gradeButton
{
width: 100px;
margin: 10px auto 10px auto;
}

p.revisions
{
font-size:0.66em;
}

input.gradeButton
{
display: block;
margin: 10px auto 10px auto;
}


table
{
font-family:arial,sans-serif;  
margin-left: 15pt;
margin-right: 15pt;
margin-bottom: 5pt;
}

th, td
{
border: 1px; 
border-style: dotted;
border-color: green; 
padding: 0.5em 0.5em 0.5em 0.5em;
}

pre
{
margin-left:1cm;
font-family:courier-new,monospace;
font-size: 100%
}

pre.smallcode
{
margin-left:1cm;
font-family:courier-new,monospace; 
font-size: 80%
}

pre.program
{
width:auto;
margin-left:1cm;
margin-right:1cm;
padding:0.5cm;
border-style:double;
border-color:darkblue;
background-color:white;
font-family:courier-new,monospace; 
font-size:90%;
}

small.edits
{
font-size:60%;
}

code
{
font-family:"Lucida Console","Courier New",courier,FreeMono,monospace;   /* FreeMono for Linux */
font-size:1.2em;
color: #005000;
white-space:nowrap;   /* to deal with deprecated nobr */
}

img.homeButton
{
float: left;
margin: auto 10px auto 10px;  
}

a:link     { color:blue; }
a:visited  { color:green; }
a:hover    { color:red; }
a:active   { color:red; }