body { 
  font-family:sans-serif;
  background:#abc;
  color:black;
  margin:0px;
  padding:16px;
}

A:link { color:#700; text-decoration:underline; }
A:visited { color:#544; text-decoration:underline; }
A:active {  color:#b09; text-decoration:underline; }

.logo { float:left; margin: 1em; }

#parasite {
  background: white;
  color: black;
  padding: 1em;
  margin: 0.5em;
  border: dotted red 3px;
}

#parasite h2 {
  background: yellow;
  color: red;
  font-weight: bold;
}

#head { 
  font-size: 200%;
  font-weight:bold;
  padding:16px;
  text-shadow: black 0px 0px 4px;
  background: #668;
  color:white;
}

#nav { 
  text-align: left;
  float:right;
  background:#white;
  border: dotted black 1px;
  padding:8px;
  margin:-16px -16px 2em 1em;
  width:25%;
  font-size:80%;
}

#nav a:hover {
  text-shadow: white 0px 0px 4px;
}

#nav ul {
  list-style-type: none;
  margin: 0px; padding: 0px;
}

#nav >ul >li {
  font-size: 150%; font-weight: bold;
}

#nav >ul >li >ul {
  font-size: 75%; font-weight: normal;
  padding-left: 2em;
}

#nav >ul >li >ul li { text-indent: -1em; margin-left: 1em; }
#nav >ul >li >ul a { font-weight: bold; }

#main { 
  text-align: justify;
  padding:16px;
  background:white;
}

#nav li.here { 
  font-weight:bold; margin-left: 0em;
}
#nav li.here:before { 
  content: "> "; display: inline;
}
#nav li.here:after { 
  content: " <"; display: inline;
}

#nav span.comment:before { content: "("; }
#nav span.comment:after { content: ")"; }

h1 { 
  font-size: 150%;
  font-weight: bold;
}

h2 { 
  font-size: 125%;
  font-weight: bold;
}

h3 { 
  font-size: 110%;
  font-weight: bold;
}

.strike { 
  text-decoration:line-through;
}

.cite { 
  padding-left:1.5em;
  border-left:1px solid blue;
}

IMG.button { 
  border:none;
}