body {
  font-family:Arial,Helvetica,sans-serif; font-size:85%; line-height:130%;
  background-color:#EEEEFF; /* background url("texturedust.jpg"); */
}
#mainTable {
  width:900px; background-color:#ffffff; 
  border-style:outset; border-width:0px; border-color:gray; 
  padding:20px; 
}
h1{
  line-height:110%; 
} 
pre, tt{
  font-family: "Courier New", Courier, FreeMono, monospace; font-size: 100%; line-height: 130%;
}