BODY {
	background-color: #080018;
	color: #ffffa5;
	font-size: 13pt;
}
:link {
	color: #ff7d10;
	text-decoration: none;
}
:visited {
	color: #ffb070;
	text-decoration: none;
}
A[href]:hover {
	background-color: #320059;
}

#thebody {
	background-color: black;
	margin: 0;
}

#main {
	background-color: #11001d;
	/*
	 * Trick: we add 1px vertical padding, so that the inner margins do not stick out
	 * to the surrounding area which is colored differently.
	 */
	padding: 1px 0.5em 1ex 0.5em;
	margin: 0;
}

#head {
	border-bottom: solid 1px #550055;
	padding: 1px 0.5em 1px 0.5em;
	margin: 0;
}

#tail {
	border-top: solid 1px #550055;
	padding: 1ex 0.5em 1ex 0.5em;
	margin: 0;
}

#navpath P {
	padding-top: 0.5ex;
	padding-bottom: 0.5ex;
	margin: 0;
}

#bottom {
	padding-top: 0.5ex;
	padding-bottom: 0.5ex;
	margin: 0;
}

#bottom IMG {
	border: none;
}

H1 {
	display: block;
	font-size: 207.36%;
	font-weight: bold;
	margin: 0.67em 0 0.67em;
	text-align: left;
}

H2 {
	display: block;
	font-size: 144%;
	font-weight: bold;
	margin: 1em 0 0.67em;
	text-align: left;
}

.headbar {
	margin: 3ex 0 3ex;
}

.headbar H1 {
	margin: 0 0;
}

.intropic {
	float: left;
	margin-left: 0.3em;
	margin-right: 1em;
	margin-top: 2ex;
	margin-bottom: 0.5ex;
}

.introcite {
	float: right;
	margin-left: 1em;
	margin-right: 0.3em;
	margin-top: 1ex;
	margin-bottom: 0.5ex;
	font-style: italic;
}

.citebody {
	margin-bottom: 0;
}

.citeattrib {
	text-align: right;
	margin-top: 0.5ex;
}

.box {
	border: 1pt solid;
	padding: 0.05em 1em;
	margin: 0.5em;
}

.langflag {
	border: none;
}

.red {
	color: red;
}

.green {
	color: green;
}

.yellow {
	color: yellow;
}

.redbg {
	background-color: #800;
}

.greenbg {
	background-color: #080;
}

.yellowbg {
	background-color: #aa0;
	color: black;
}

.narrow {
	margin-left: 2em;
	margin-right: 2em;
}

.invis {
	visibility: hidden;
}

.center {
	text-align: center;
}

.right {
	text-align: right;
}

TABLE.progs {
	border-collapse: collapse;
	border: 1px solid #6176b7;
}

TABLE.progs TR TD {
	padding: 0.2em 0.5em;
	border: 1px solid #6176b7;
}

TABLE.progs TR TH {
	padding: 0.2em 0.5em;
	border: 1px solid #6176b7;
	font-style: italic;
	font-weight: bold;
}

TABLE.matrix {
	border: none;
	display: inline;
	vertical-align: -90%;
}

TABLE.matrix TR TD {
	padding: 0;
	border: none;
}

TABLE.news {
	margin-left: 2em;
	margin-right: 2em;
}

TABLE.news TR TD {
	padding-right: 1em;
}

DD {
	margin-bottom: 0.5ex;
}

UL.sparse LI {
	margin-top: 0.7ex;
	margin-bottom: 0.7ex;
	margin-right: 3em;
}

UL.compress {
	margin-top: 0.5ex;
	margin-bottom: 0.5ex;
}

UL.hplist LI {
	margin-top: 0.5ex;
	list-style: none;
}

UL.hplist LI UL LI {
	margin-top: 0;
	list-style: disc;
}

.hpl {
	font-weight: bold;
}

strong {
	color: #ffffff;
}