h1 {font-family: sans-serif}
h2 {font-family: sans-serif}
th {font-family: sans-serif}
body {
  font-family: arial,helvetica,verdana,sans-serif
}
a:link {text-decoration: none}
a:visited {text-decoration: none}
a:hover {text-decoration: none; color:orange}
tr {background-color: #dddddd}
.sf {font-family: sans-serif;}
.menu {font-family: 'arial', sans-serif; font-size: 80%;} 
.bigmenu { font: bold 120% sans-serif }
.name { font-size: 150%; font-family: sans-serif;}

a.bigmenu:link {text-decoration:none; color: white;}
a.bigmenu:active {text-decoration:none; color: orange;}
a.bigmenu:visited {text-decoration:none; color: white;}
a.bigmenu:hover {text-decoration:none; color: orange;}
dt {
  margin-top: 1em;
  font-weight: bold; 
}
table {margin-top: 0.5em;}
th {padding-left: 0.5em; padding-right: 0.5em}
td {padding-left: 0.5em; padding-right: 0.5em}
dl.help dd {
  font-size: small;
}
var.book {color: purple; font-style: italic}
dfn {font-family: sans-serif; font-style: italic}
var {
  color: purple;
  font-family: helvetica;
  font-style: normal;
}
li {
  margin-top: 1em;
}
code {
  color: blue;
  font-family: helvetica;
  font-style: normal;
}