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
{
font-family:arial,sans-serif; 
text-align:center;
color:blue;
}

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


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%
}


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 */
}