BODY {
	line-height: 140%;
	color: #000000;
	background: #ffffe8;
}

H1, H2, H3 { color: #a00000; line-height: 100%; }

H2 A { text-decoration: none; }

IMG {
	float: right;
	margin-left: 1em;
	margin-top: 1em;
	margin-bottom: 1em;
	border: 1px solid #a00000;
}

@media (max-device-width: 600px) {
	IMG {
		float: none;
		border: 1px solid #a00000;
		flush: both; }
}

@media (min-width: 1024px) {
IMG.big { border: 0; float: none; visibility: visible; }
IMG.small { display: none; }
}
@media (max-width: 1023px) {
IMG.big { display: none; }
IMG.small { border: 0; float: none; visibility: visible; }
}

IMG.seamless { border: none; }

IMG.inline {
	border: 1px solid #a00000;
	float: none;
	margin: 0;
}

A         { }
A:link    { color: #a00000; }
A:visited { color: #a00000; }
A:hover   { background: #a00000; color: #ffffff; }
A:focus   { background: #a00000; color: #ffffff; }

CODE {
	font-family: courier, monospace;
}

VAR { font-style: italic; }

EM  { font-style: italic; }

HR {
	border: 0;
	border-top: 1px solid #a00000;
	clear: both;
}

BLOCKQUOTE {
	padding: 0.5em;
	margin-right: 1.5em;
	margin-left: 1.5em;
	font-style: italic;
}

INPUT {
	border: 1px solid #a00000;
	color: #000000;
	background: #ffffc0;
}

PRE {
	padding: 0.5em;
	font-family: courier, monospace;
	line-height: 130%;
}

PRE.dirlist {
	font-family: courier, monospace;
	border: 0;
	padding: 0;
	line-height: 130%;
}

PRE.code {
	background: #fcfcd8;
	border: 1px solid #a00000;
	line-height: 130%;
	margin: 0;
}

PRE.t3xcode {
	background: #fcfcd8;
	border: 1px solid #a00000;
	line-height: 130%;
	margin: 0;
}

PRE.t3xcode SPAN.comment {
	color: #800000;
}

DIV.header { font-family: courier, monospace; }

TABLE.table {
	border-collapse: collapse;
}

TABLE.table TD {
	border: 1px solid #a00000;
	padding: 0.25em;
	background: #ffffc0;
}

TABLE.table TH {
	border: 1px solid #a00000;
	padding: 0.25em;
	background: #ffffc0;
}

TABLE.nav { border: 1px solid #a00000; background: #ffffd0; width: 100% }
TABLE.nav TR TD.nl { width: 33%; text-align: left; }
TABLE.nav TR TD.nc { width: 33%; text-align: center; }
TABLE.nav TR TD.nr { width: 33%; text-align: right; }

TABLE * IMG {
	margin-top: 0;
	margin-left: 0;
}

TD,TH { vertical-align: top; }

TABLE.uman { margin: 0; padding: 0; border-collapse: collapse; }
TABLE.uman TD { margin: 0; padding: 0 }
TABLE.uman TH { margin: 0; padding: 0 }

.hang { padding-left: 2em; text-indent: -2em; }
div.hang p { margin-top: 0.5ex; margin-bottom: 0.5ex; }

P.abstract { margin-left: 20%; margin-right: 20%; }

*.spacer { margin: 0; padding: 0; height: 0.5em; clear: both; }

*.center { text-align: center; }

*.news {
	border: 1px solid #a00000;
	background: #ffffc0;
	text-align: center;
}

*.looky { background-color: #ffff80; }

*.clear { clear: both; }

*.hl { color: #ffffff; background: #a00000; }

*.shade { background: #ffd0d0; }

*.hl CODE { }

*.left { width: 33%; text-align: left; }
*.center { width: 33%; text-align: center; }
*.right { width: 33%; text-align: right; }

TABLE TR TD.stable { background: #ddffdd; }
TABLE TR TD.experimental { background: #ffdd88; }
TABLE TR TD.broken { background: #ffddff; }
TABLE TR TD.glibc { color: #900000; }

TEXTAREA { font: monspace, courier; background-color: #e0e0ff; }
TEXTAREA { font-family: monospace, courier; }
INPUT { font-family: monospace, courier; }
*.error { background-color: #a00000; color: #ffffff;
          font-weight: bold; }
*.hidden { display: none; }
*.attn { background-color: #ffe0e0; }
*.head { font-size: larger; font-weight: bold; color: #008080; }
INPUT { background-color: #ffffc0; }
SELECT { background-color: #ffffc0; }

PRE.man { }

PRE.man B { color: #a00000; }
PRE.man I { color: #a00000; }
PRE.man U { color: #a00000; }

PRE.scheme {
	background: #fcfcd8;
	border: 1px solid #a00000;
	line-height: 130%;
	margin: 0;
	padding: 0.5em;
}

PRE.scheme SPAN.o { color: #503030; } /* comment */
PRE.scheme SPAN.p { color: #707070; } /* parenthesis */
PRE.scheme SPAN.s { color: #000000; } /* symbol */
PRE.scheme SPAN.c { color: #0060c0; } /* constant */
PRE.scheme SPAN.r { color: #6000c0; } /* r4rs procedure */
PRE.scheme SPAN.y { color: #6000c0; } /* r4rs syntax */
PRE.scheme SPAN.x { color: #c06000; } /* s9fes procedure */
PRE.scheme SPAN.z { color: #c06000; } /* s9fes syntax */
PRE.scheme SPAN.m { color: #000080; } /* normal form */

PRE.ccode {
	background: #fcfcd8;
	border: 1px solid #a00000;
	line-height: 130%;
	margin: 0;
	padding: 0.5em;
}

PRE.ccode SPAN.co { color: #801010; } /* comment */
PRE.ccode SPAN.cp { color: #6000c0; } /* punctuation */
PRE.ccode SPAN.ca { color: #6000c0; } /* operators */
PRE.ccode SPAN.cs { color: #000000; } /* symbol */
PRE.ccode SPAN.cc { color: #0060c0; } /* constant */
PRE.ccode SPAN.cr { color: #6000c0; } /* reserved word */
PRE.ccode SPAN.cl { color: #6000c0; } /* stdlib symbol */
PRE.ccode SPAN.cx { color: #c06000; } /* extension */

PRE.forth {
	background: #fcfcd8;
	border: 1px solid #a00000;
	line-height: 130%;
	margin: 0;
	padding: 0.5em;
}

PRE.forth A        { color: #0000a0; text-decoration: none; }
PRE.forth A:hover  { color: #ffffff; background: #00a0a0; }
PRE.forth A:focus  { color: #ffffff; background: #00a0a0; }
PRE.forth SPAN.n   { color: #a00000; } /* number */
PRE.forth SPAN.s   { color: #a00000; } /* string */
PRE.forth SPAN.c   { color: #805080; } /* comment */
PRE.forth SPAN.d   { color: #00a0a0; } /* definition */
PRE.forth SPAN.d A { color: #00a0a0; } /* definition */
