body {
	background: #000;
	color: #fff;
	font-family: Georgia;
	font-size: 10pt; }
h1, div.body {
	background-color: #222;
	border: solid 0.1em #ccc;
	clear: both; 
	padding-left: 1em; }
h1 {
	margin-bottom: 1em;
	float: left;
	padding-left: 0.5em;
	padding-right: 0.5em;
	font-size: 30pt;
	font-family: Georgia;
	margin-left: 1em; }
div.nav {
	background-color: #444;
	border: solid 0.1em #ccc;
	float: left;
	clear: both;
	padding-right: 1em;
	padding-top: 0.2em;
	padding-left: 1em;
	padding-bottom: 0.2em;
	margin-left: 3em;
	margin-bottom: 1em;
	font-size: 10pt; }
div.nav p {
	margin-top: 0em;
	margin-bottom: 0.2em;
	padding-top: 0em;
	padding-bottom: 0em; }
a {
	font-family: Georgia;
	font-size: 10pt;
	color: #eee;
	text-decoration: none;
	border-bottom: dotted 1px #eee; }
a:hover {
	border-bottom: solid 1px #eee; }
div.body {
	font-family: Monospace;
	width: auto;
	padding-bottom: 0.5em;
	float: left;
	padding-left: 2em;
	padding-right: 3em;
	padding-top: 0.5em;
	margin-left: 3em;
	margin-bottom: 3em;
	margin-right: 2em; }
span.word {
	border: solid 2px #000;
	padding: 2px;
	color: #000;
	background-color: #fff; }
q:lang(en) {
	quotes: "\201C" "\201D" "\2018" "\2019"; }
q:before {
	content: open-quote; }
q:after {
	content: close-quote; }