body
{
  font-family: sans-serif;
  max-width: 6.5in;
  font-size: 85%;
}
 ins  {background-color: #CCFFCC;}
 del  {background-color: #FFCACA;}
 pre  {background-color: #D7EEFF; font-size: 100%;}
 code {font-size: 110%;}
 table{font-size: 100%;}