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 only screen and (max-device-width: 600px) {
	IMG {
		float: none;
		border: 1px solid #a00000;
		flush: both; }
}

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;
	font-weight: bold;
}

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;
	text-align: center;
	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.program {
	background: #fcfcd8;
	border: 1px solid #a00000;
	line-height: 130%;
	margin: 0;
}

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; }

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;
}

*.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; }

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 */