body { margin: 0; padding: 20px; margin-top: 20px; background-color: #eee }
 body, td, th { font: 11px Verdana, Arial, sans-serif; color: #333 }
 a { color: #333 }
 h1 { margin: 0 0 0 10px; padding: 10px 0 10px 0; font-weight: bold; font-size: 120% }
 h2 { margin: 0; padding: 5px 0; font-size: 110% }
 ul { padding-left: 20px; }
 ul li { padding-bottom: 5px; margin: 0 }
 ol { font-family: monospace; white-space: pre; list-style-position: inside; margin: 0; padding: 10px 0 }
 ol li { margin: -5px; padding: 0 }
 ol .selected { font-weight: bold; background-color: #ddd; padding: 2px 0 }
 table.vars { padding: 0; margin: 0; border: 1px solid #999; background-color: #fff; }
 table.vars th { padding: 2px; background-color: #ddd; font-weight: bold }
 table.vars td  { padding: 2px; font-family: monospace; white-space: pre }
 p.error { padding: 10px; background-color: #f00; font-weight: bold; text-align: center; -moz-border-radius: 10px; }
 p.error a { color: #fff }
 #main { padding: 20px; padding-left: 70px; border: 1px solid #ddd; background-color: #fff; text-align:left; -moz-border-radius: 10px; min-width: 13em; max-width: 52em }
 #message { padding: 10px; margin-bottom: 10px; background-color: #eee; -moz-border-radius: 10px }