body
{
max-width:1200px;  /* might not be a good idea.  Seems to help on really wide monitors, though */
font-size:100%;
background-color:#f5faf3; 
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;
}

p
{
text-align: justify;
font-size: 1em;
line-height: 125%;
margin-top: 1em;
margin-right: 1em;
margin-bottom: 1em;
margin-left: 1em;
}

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

pre {
font-family: "Courier New", Courier, mono;
margin-left:2em;
}

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


h1 {
font-family: Arial, Helvetica, sans-serif;
font-size: x-large;
font-style: normal;
font-weight: bold;
text-align:center;
}

h2,h3,h4
{
margin-top: 1em;
margin-right: 1em;
margin-bottom: 1em;
margin-left: 1em;
}

h2 {
font-family: Arial, Helvetica, sans-serif;
font-size: large;
font-weight: bold;
}

h4 {
font-family: Arial, Helvetica, sans-serif;
font-size: medium;
font-weight: bold;
}

table 
{
background-color: white;
border: 2px;
border-color: green;  
border-style: solid;
border-collapse: collapse;
margin: 1.0em 1.0em 1.0em 1.0em;
font-family:"Lucida Console","Courier New",courier,FreeMono,monospace;   /* FreeMono for Linux */
}

table pre
{
margin-left:0.4cm;
margin-right:0.4cm;
}

tr
{
  margin-left:1em; 
}

td
{
border: 2px;
border-color: green;  
border-style: solid;
padding: 10px;
}

table.center 
{
  margin-left:auto; 
  margin-right:auto;
  text-align:center;
}
  
a:link     { color:blue }
a:visited  { color:brown }
a:active   { color:red }

code {
font-family: "Courier New", Courier, mono;
font-size: medium;
color: #0033CC;
}

code.rating {
font-family: "Courier New", Courier, mono;
font-size: small;
color: #10A010;
}

img.indent
{
  margin-left: 35px;
}

img.center
{
  display: block;
  margin-left:auto; 
  margin-right:auto;
}