@media print {
  #menu { display: none; }
  #main { }
}

@media screen {
  #menu {
    background-color: #e1e1e1;
    background-image: url(/images/sidebar.jpg);
    background-repeat: no-repeat;
    position: absolute;
    left: 0px; width: 130px;
    top: 0px; height: 499px;
    border-right-width: 1px;
    border-left-width: 0px;
    border-top-width: 0px;
    border-bottom-width: 1px;
    border: black right;
    border-style: solid;
  }

  #main {
    position: absolute;
    left: 144px;
    top: 0px;
  }
}

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 {
	margin-left: 2em;
  color: darkblue;
  text-indent: 0px;
}

.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;
}