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: 10px 10px 10px 10px;
  margin: 0 auto 0 auto;
  border: 2px solid  #a030a0;
}

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

p.justify 
{
    text-align: justify;
    text-justify: inter-word;
}

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

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

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

code {
font-family: "Courier New", Courier, mono;
font-size: 1.1em;
font-weight: 400;
color: #0033CC;
white-space:nowrap;   /* to deal with deprecated nobr */
}

kbd{
font-size: 1.3em;  
}

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

img { 
border: 0; 
}

img.center 
{ 
display: block;
margin: 1em auto 1em auto;  
}

img.right 
{ 
float:right;
display: block;
margin: auto 2em 4em 2em;  
}
 
table
{
  margin-left:3em; 
  padding:15; 
  background-color: white;  
}

td, th 
{    
    font-family: Arial, Helvetica, sans-serif;
    border: 1px solid #dad;
    text-align: center;
    border-collapse: collapse;
    padding: 15px;
}

th {
font-family: Arial, Helvetica, sans-serif;
}

.arrayTable
{
  margin-left:3em; 
  padding:15; 
  background-color: white;  
}

.indexTable
{
  margin-left:0.0cm; 
  border: 1px dotted gray;
  padding:15px;   
}

a.rightanchor
{
display: block;
float:right;
margin:1em auto 1em auto;
}

li{
  margin: 10px 0;
}

.left
{
max-width:48%;
float:left;
}

.right
{
max-width:48%;
float:right;
}