html, body { color: #000; background-color: #fff;}
h1 { width: 100%; border-bottom: 2px solid black; margin-bottom: 0;}
div#banner { height: 18px; font: bold 18px Verdana, Arial, Tahoma, Helvetica, sans-serif; width: 100%;}
div#banner a { text-decoration: none;}
div#banner div#banner-left {float: left; }
div#banner div#banner-right {float: right;}
div#banner span { padding-left: 1em; padding-right: 1em; }
div#badge { float: right; }
span.metalog   { font: .8em verdana, sans-serif}
div.metatop   { text-align: left; font: .8em verdana, sans-serif}
.metabottom  { text-align: center; width: 100%;}
.metabottom, .metabottom tr, .metabottom td, .metabottom th { border: none !important;}
div#footer { padding: 1em; width: 95%;}
div#footer span.left { position: absolute; left: 0;}
div#footer span.middle { position: absolute; left: 50%; right: 50%;}
div#footer span.right { position: absolute; right: 0;}
.trademark { border-bottom: 1px dotted black;}

.vocabulary-definition { border: solid 1px black; border-collapse: collapse;}
.vocabulary-term-definition { border: solid 1px black; border-collapse: collapse;}

.ignorable { color: #ccc; }

ins {color: green; text-decoration: none;}
del {color: red;}

dl dt { font-weight: bold; }

@media print { div#footer { display: none;} }

/* for /2004/09/26/boot-camp, need to remove when change authoring to 
   allow inline style tags */

dt {font-weight: bold;}

*+dt {margin-top: 1em; }

.tip {font-weight: bold;}
.comment {font-style: italic; }

.programlisting { border: solid 1px black; }

.rsspubdate { font-size: .8em; padding-top: 0; margin-top: -1em}