a{text-decoration:none;}
ul, ol { margin: 0.7em 0 0.7em 2em; }
  li { display: list-item; list-style: disc; }
  
pre { border: 1px solid #e0e0e0; background-color: #000000; color: white; padding: 1em; font: 90% "Courier New", "Courier New", "Courier", monospace; margin: 1em 0; }
  pre .green { color: #00CC00; }
  pre .blue { color: #0000CC; }

.caption { font-size: 90%; margin: 1em 0 -1em 3px; color: #303030; }
  
.first { margin-top: 0; }
.cl { clear: left; }
.cr { clear: right; }
.cb { clear: both; }

ul#project-nav li { border-bottom: 1px solid #a0a0a0; }
ul#project-nav a { display: block; padding: 4px; }

ul#ohoa-nav { font-size: 90%; }
ul#ohoa-nav a { display: block; padding: 2px 4px; }