a {
 text-decoration: none; 
}
.hidden {
 display: none;
}
.footer {
 font-style: italic;
 font-size: 85%;
 margin: 0;
}
.notcovered {
  font-weight: 700;
}
body {
  font-family : "Trebuchet MS", "Lucida Grande", Verdana, Geneva, Arial, Helvetica, sans-serif;
  margin: 2em 11em;
}
ul {
  border: 1px solid;
  list-style: square inside;
  padding: .3em 1.7em;
}
.inline * { display: inline; font-size: small; padding: 0em; }
.inline li + li:before { content: " | "; }
.inline { border-bottom: 1px solid black; text-align: left; }
h1 { border-bottom: 2px solid black; margin-bottom: 0px; }
.codep { /* Code paragraph: blockquoted, monospace, and preformatted */
 background-color: #FFFFCC;
 white-space: pre;
 margin: 1em 1em;
 border: 1px dotted;
 padding: .3em;
 font-family: monospace;
}
.codef { /* Code paragraph: blockquoted, monospace, and preformatted */
 background-color: #FFFFCC;
 white-space: pre;
 margin: .4em 5em;
 border: 1px solid;
 padding: .3em;
 font-family: monospace;
}
.notice {
  color: #FF3333;
  font-weight: bold;
  font-size: large;
}
.hwtag {
  font-weight: bold;
  border: 1px solid black;
  background-color: #FFFFCC;
  padding: 1px;
}
.tbd {
   color: #998888;
   font-style: italic;
}