* {	margin: 0;	padding: 0;	font-size: 1em;}h1, h2, h3, h4, h5, h6 {	font-weight: bold;}body {	background-color: #FFF;	color: #000;	padding: 0.5em;}a:link {	color: #30F;	text-decoration: underline;}a:visited {	color: #107;}li, dd {	margin-left: 2em;}.header {	height: 5em;}.header h1 {	padding-top: 0.2em;	font-size: 2em;	width: 6em;	float: left;	text-align: center;}.header h1 .titlescript {	display: block;	color: #800;	font-family: monospace;	font-size: 0.5em;	text-transform: uppercase;	letter-spacing: 0.6em;}.header .crumbs {	margin-top: 1em;	margin-right: 2em;	font-weight: bold;}.header .ad {	margin-top: 0.5em;}.crumbs a, .crumbs .current {	text-decoration: none;	font-weight: normal;}.pagenav {	clear: both;	width: 17em;	float: left;}.pagenav .ad {	text-align: right;	margin-bottom: 2.5em;}.pagenav + .contents {	margin-left: 17.4em;}.block {	margin: 0.5em 0 1em;	padding: 0.5em;}.block .title {	display: inline;	position: relative;	top: -0.5em;	left: -0.5em;	padding: 1px 0.5em;	color: #FFF;	background-color: #B84000;	font-weight: bold;}.mainmenu .title {	background-color: #E50;}.mainmenu {	border: solid 2px #E50;	background-color: #F8E699;}.mainmenu a:link, .mainmenu a:visited {	text-decoration: none;}.mainmenu ul li ul li {	font-size: 0.84em;}.text {	border: solid 1px #B84000;	background-color: #FCF3CB;}.text h3 {	margin: 1em 0 0.3em 0;}.text h2 + h3 {	margin-top: 0;}pre.script {	background-color: #FFF;	margin: 0.2em 4em 0.2em 0.2em;	padding: 2px 4px;}pre.langa {	color: #200;}pre.langb {	color: #020;}pre.langc {	color: #004;}.copyright {	margin-top: 2em;	text-align: right;	font-size: 0.75em;}