tt.arg {font-style: italic;}\r
ol {margin: 0.5em 2.5em;}\r
ul {margin: 0.5em 2em;}\r
+ul ul {margin: 0 2em 0.5em 1em;}\r
dl {margin: 0.5em 1em;}\r
dd {margin: 0 2em;}\r
dt {font-size: 0.85em; font-family: "Consolas", "Courier New", monospace;}\r
.cal {text-align: center; }\r
\r
h1 {line-height: 1em; font-size: 2em; font-family: sans-serif; padding: 0.3em 0 0.3em;}\r
-p.hdd {float: right; text-align: right; margin-top: 0.5em;}\r
-hr.hds {clear: both; margin-bottom: 1em;}\r
-\r
h2 {font-size: 2em; font-family: sans-serif; background-color: #d8d8FF; padding: 0.5em 0.5em; margin: 0 0 0.5em;}\r
h3 {font-size: 1.5em; font-family: sans-serif; margin: 1.5em 0 0.5em;}\r
-h4 {font-size: 1.2em; font-family: sans-serif; margin: 1em 0 0.2em;}\r
-h5 {font-size: 1em; font-family: sans-serif; margin: 0.5em 0 0em;}\r
+div.doc h3 {border-color: #b0d8d8; border-style: solid; border-width: 0px 0px 4px 12px; padding: 4px; margin-top: 3em;}\r
+h4 {font-size: 1.2em; font-family: sans-serif; margin: 2em 0 0.2em;}\r
+h5 {font-size: 1em; font-family: sans-serif; margin: 1em 0 0em;}\r
+p.hdd {float: right; text-align: right; margin-top: 0.5em;}\r
+hr.hds {clear: both; margin-bottom: 1em;}\r
+kbd {letter-spacing: 0;}\r
small {font-size: 80%;}\r
.indent {margin-left: 2em;}\r
\r