BODY { color: white; background: black; }
A:link { color: yellow; }
A:visited { color: yellow; }
A:active { color: yellow; }

P.Signature { text-indent: 0em; margin-top: 0ex;}
P.Author { text-align: right; }

P { margin: 0; }

H1 { margin: 0; }
H2 { margin: 0; }
H3 { margin: 0; }
H4 { margin: 0; }
H5 { margin: 0; }
H6 { margin: 0; }

H2.Section { margin-top: 10px; margin-bottom: 10px;
	color: white; background-color: orange;
	font-family: arial; }

UL { margin-top: 0; margin-bottom: 0; }
OL { margin-top: 0; margin-bottom: 0; }
DL { margin-top: 0; margin-bottom: 0; }

TABLE { margin-left: 1em; width: 95%; }
TH { color: white; background: black;
	text-align: left; vertical-align: top; margin: 0; }
TD { color: white; background: black;
	text-align: left; vertical-align: top; margin: 0; }
TD.Label { font-weight: bold; }

PRE { font-family: courier;
	padding: 0ex 0em; margin: 0ex 0em;}
PRE.Example { font-family: courier; font-size: small; font-weight: bold;
	color: lime; background-color: rgb(63, 63, 63);
	margin-left: 36px; margin-right: 36px;
	padding: 6px;
	border: solid thin pink; }

SPAN.Keymap { font-family: courier;
	font-weight: bold;
	color: blue;
	background-color: lightgreen;
	margin: 2px;
	border-width: 2px;
	border-color: gray white white gray;
	border-style: solid; }

BLOCKQUOTE.Citation { color: aqua;
	 padding: 1ex 1em; margin: 1ex 0em; width: 95%;
	 border: solid thin aqua; }
BLOCKQUOTE.Formula {
	 padding: 1ex 1em; margin: 1ex 0em; width: 95%;
	 border: solid thin; }
BLOCKQUOTE.Example { color: pink;
	 padding: 1ex 1em; margin: 1ex 0em; width: 95%;
	 border: solid thin pink; }
BLOCKQUOTE.Definition { color: orange;
	 padding: 0.2ex 0.2em; margin: 1ex 0em; width: 95%;
	 border: solid thin orange; }
BLOCKQUOTE.Conclusion { color: red;
	 padding: 0.2ex 0.2em; margin: 1ex 0em;
	 border: solid thin red; }

CODE { font-family: courier; }
CODE.interface { font-family: courier; }
CODE.reserved { font-family: courier; font-style: italic; }

EM { font-style: italic; }
EM.warning { color: red; font-style: italic; }
STRONG.warning { color: red; }