* {
  font-family:georgia,courier,monotype;
  font-size:12px;
  color:#333;
}

*[title]:hover {
  background-color:#eef;
  cursor:help;
}

body,html {
  margin:0;
}

pre {
  border:1px solid silver;
  background-color:#eee;
}

/* Header */
h1 {
  font-size:1.25em;
  background-color:silver;
  padding-top:1em;
  padding-left:.25em;
  padding-bottom:.25em;
}

/* Navigation */
#nav {
  background-color:white;
  position:fixed;
  width:16em;
  height:60%;
	overflow: auto;
  margin:2em;
  padding:1em;
  border:1px dotted silver;
}

#nav li {
  margin:.5em;
}

#nav ul {
  padding-left:1em;
}

/* Content */
#main {
  margin-left:23em;
  margin-right:2em;
  line-height:1.5em;
}

h2 {
  font-size:1.2em;
  margin-top:2em;
  background-color:#eee;
}

ul+h2, p+h2 { margin-top:4em; }

h2 ~ p { /* CSS3 selector, support anyone? */
  margin-left:0;
}

h2+p, h2+p+p { /* CSS2 hack */
  margin-left:0;
}

h3 {
  margin-top:3em;
  margin-bottom:.2em;
}

h2+h3 { margin-top:1.5em; }

h4, p,ul,blockquote {
  margin-top:0;
  margin-left:2em;
}

/* blah */
#blah {
  position:fixed;
  bottom:0;
  left:0;
  width:16em;
  margin:2em;
  padding:1em;
  border:1px dotted silver;
}


/* etc */
a {
  color:#339;
  text-decoration:none;
  border-bottom:1px dotted #339;
}

a:hover {
  background-color:#ccc;
  border-color:#ccc;
}