html {	background: #000; }
body {
	margin: 4em 10% 0 10%;
        line-height: 1.4;
        padding: 0 2em 1em 2em;
        font-family: sans-serif;
	background: #FFF;
}
h1, h2, h3, h4, h5, div.node { background: #DDD; }
body p { text-align: justify; max-width: 100%; }
code, pre { font-family: monospace; font-size: 1em; }
pre.smallformat, pre.example {
	font: bold smaller monospace;
	max-width: 100%;
	background: #EEE;
	overflow: auto;
	border: 1px solid #000;
}
pre.smallformat { padding: 0.5em; }
a { color: #000; font-weight: bold; }
div.node {
	position: fixed;
	top: 0;
	height: 3em;
	width: 80%;
	left: 10%;
	line-height: 1;
	font-weight: bold;
	text-align: center;
}
div p { padding: 0 2em }
hr { display: none; }