/* element rules */

body {
  margin: 0;
  padding: 0;

  font-family: verdana, sans-serif;
}
h1, h2, h3 {
  margin-top: 0;

  color: #0166AA;
  font-family: georgia, times, "times new roman", serif;
  font-weight: normal;
}

h1 { font-size: 175%; }
h2 { font-size: 135%; }
h3 { font-size: 100%; }

li a:link, p a:link {
  color: #039;
}
li a:visited, p a:visited {
  color: #639;
}
img {
  border: none;
}

/* lists */
ol.noindent, ul.noindent, ul.category {
  margin: 0;
  padding: 0;
  margin-bottom: 1.5em;
}
ol.noindent {
  margin-left: 24px;
}
ul.noindent, ul.category {
  margin-left: 1.3em;
}
ol.noindent li, ul.noindent li, ul.category li {
  margin-top: 0.25em;
}
ul.category li.desc {
	list-style-type: none;
	font-size: 84%;
}

/* div-specific rules */

#ctxmenu, #content, #sidebar {
  font-size: 84%;
}
#ctxmenu {
  float: left;
  width: 17%;
  margin: 1em 0 1em 3.2%;
}
#content {
  float: left;
  width: 48%;
  margin: 1em 0 1em 3%;
  border-left: 1px solid #ccc;
  border-right: 1px solid #ccc;
  padding: 0 3%;
}
#sidebar {
  float: left;
  width: 17%;
  margin: 1em 0 1em 3%;
}