#menu {
  width: 116px;
}

#main {
  position: absolute; top: 8px; left: 132px;
}

p {
  font-family: arial, helvetica;
}

ol,ul {
  font-family: arial, helvetica;
}

h1 {
  font-family: verdana, tahoma, lucida;
}

h2 {
  font-family: verdana, tahoma, lucida;
}

h3 {
  font-family: verdana, tahoma, lucida;
}

.indent {
  margin-left: 2em;
}

.bigred {
  color: darkred;
}

.code {
  background: silver;
}

.example {
  margin-left: 2em;
  font-size: small;
  font-family: 'courier new', courier;
}

.mini {
  font-size: small;
}

.modname {
  font-size: large;
  font-family: tahoma,lucida;
}

.modkey {
  color: darkred;
}

.modinfo {
  font-size: small;
  font-family: tahoma,lucida;
}

th {
  font-family: verdana, tahoma, lucida;
  font-size: large;
}

td {
  font-family: verdana, tahoma, lucida;
}

a {
  text-decoration: none;
}

.c {
  margin-left: 2em;
  color: darkblue;
}