html {
 margin: 0;
 padding: 0;
}

body {
 font-family: sans-serif;
 margin: 0;
 padding: 0;
 color: black;
 background: #CCCCB2;
}

h1 {
 font-size: 200%;
 letter-spacing: 0.1em;
 padding: 1em 0 1em 0;
 margin: 0;
}

h2 {
 font-size: 150%;
 padding: 1em 0 0 0;
 margin: 0;
 color: #808080;
}

h3 {
 font-size: 133%;
 margin: 0;
 padding: 0;
 border-bottom: 1px dotted gray;
 color: #808080;
}

h4 {
 font-size: 100%;
 margin: 0;
 color: #808080;
}

a {
 text-decoration: none;
}

a:hover {
 text-decoration: underline;
}

a.noUnderline {
 text-decoration: none;
}

p.back {
 text-align: right;
 font-size: small;
}

p.foot {
 padding: 1em 2em 0 2em;
 margin: 0 -30px 0 -30px;
 vertical-align: middle;
 background: #CCCCB2;
}

p.lastupdate {
 padding: 1em 2em 0 2em;
 margin: 0 -30px 0 -30px;
 text-align: right;
 font-size: x-small;
 background: #CCCCB2;
}

div.code {
	font-family: Courier,monospace;
	font-size: 120%;
	background: #E5E5CC;
	margin: 10px 0 10px 0;
	padding: 10px 10px 10px 10px;
	border-width:thin;
	border-style:dashed;
}

span.monospace {
	font-family: Courier,monospace;
	font-size: 120%;
}

span.answer {
	color: blue;
}

dt.question {
	color: blue;
}

dd.withSpace {
	margin-bottom: 1.5em;
}

#navi {
 margin: 0;
 padding: 0;
 width: 150px;
 float: left;
}

#navi h4 {
 padding: 1ex 0.7em 1ex 0;
 text-align: right;
 border-right: 3px double gray;
}

#navi ul {
 padding: 0;
 margin: 0;
 border-top: 1px solid gray;
 background: #F9F9E5;
}

#navi ul li {
 font-size: small;
 list-style: none;
 padding: 0 0.7em 0 0;
 border-right: 1px solid gray;
 line-height: 4ex;
 text-align: right;
}

#navi form {
 font-size: small;
 padding: 1em 0.7em 1em 0;
 border-right: 1px solid gray;
 line-height: 4ex;
 text-align: right;
 border-bottom: 1px solid gray;
 background: #F9F9E5;
}

#news {
 margin: 0;
 padding: 0;
 width: 20%;
 float: right;
}

#news h4 {
 padding: 1ex 0 1ex 0.7em;
}

#news ul {
 padding: 0;
 margin: 0;
}

#news ul li {
 font: 10pt Arial, sans-serif;
 list-style: none;
 padding: 0.5ex 0.5em 0.5ex 0.7em;
 border-left: 1px solid gray;
 border-bottom: 1px dotted gray;
 line-height: 2.5ex;
 background: #E5E5CC;
}

#maintext {
 padding: 0 20px 0 20px;
 margin: 0 20% 0 150px;
 background: #FAFAD2;
}