#kwframe { width: 160px; float: right; border: outset 2px gray; padding: 2px }
#bdframe { margin-right: 180px }
body { margin: 0px; padding: 0px; }
.out { padding: 0px; margin: 0px }
h3 { border-bottom: 2px solid #d8f; margin-top: 0px }
h3:hover { background: #ccc; }
code { color: green }
p { text-indent: 2em; margin-bottom: .5em }

/*
body {
background: #fff;
margin: 1em; border: 3px inset #ccf; padding: 10px }
h1 { margin: -10px; padding: .5em; background: #ccf; margin-bottom: .5em }
h2 { border-bottom: solid 2px #ccf }
*/
// th { white-space: pre }
@media print {
.noprint { display: none }
}