html {
	margin:0; padding:0;
}

body {
	background:#092e20;
	margin:0; padding:0;
	color:#fff;
}

div#content {
	background:#234f32;
	width:70%;
	padding:1em;
}

pre { 
	background:#000;
	color:#44FF77;
	padding:1em;
	overflow-x:auto;
}

h1, h2, h3, h4, h5, h6 {
	font-size:100%;
	color:#ffc757;
}

h1 {
	font-size:2em;
}

h2 {
	font-size:1.5em;
}

h3 {
	font-size:2em;
}

h4 {
	font-size:2em;
}

a:link, a:visited {
	color:#9AEF3F;
}

div#jump-menu {
	left:70%;
	position:fixed;
	margin:0 0 0 2.5em;
	padding:0 0 0 1em;
	width:100%;
	background:#487858;
}

div.warning {
	background:yellow;
	border:4px solid #000;
	padding:.7em;
}

div.warning h5 {
	color:#000;
	margin:0;
}

div.warning p {
	color:#000;
}

div.warning p a {
	color:#000;
}

pre.inline { display:inline; }