/*  05/29/2015  bpk added class revisions, code class register   */

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; 
color:blue;
}

table
{
font-family: arial,sans-serif; 
}

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

.revisions
{
  font-size:0.5em;
}

table
{
margin-left: 15pt;
margin-right: 15pt;
margin-bottom: 5pt;
}

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

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

code
{
font-family:courier-new,courier; 
font-size: 110%
}

code.register
{
color:green;
font-weight:bold;
}

a:link     { color:blue }
a:visited  { color:saddlebrown }
a:active   { color:red }
a:hover    { color:red }