body, html {
	margin: 0;
	padding: 0;
	font-family: sans-serif;
}

a:hover {
	background-color: #ddd;
}

pre, code {
	padding: 5px;
	border: 1px dashed #999;
	background-color: #eee;
}

.center {
  margin-left: auto;
  margin-right: auto;
}

table {
	border: 1px solid #ccc;
}

table th {
	border-bottom: 1px solid #999;
	background-color: #eee;
}

dt {
}

dd {
	margin-bottom: 1em;
}

#header {
	width: 100%;
	margin: 0;
	padding: 0.125em 0px;
	background-color: rgb(0,0,111);
	color: #fff;
	text-transform: lowercase;
	font-weight: normal;
	font-size: 3.5em;
	letter-spacing: 0.25em;
}

#menu hr {
	display: none;
}

#menu {
	margin: 0;
	padding: 0.33em 50px;
	background-color: rgb(100,100,150);
}

#menu a {
	margin: 0;
	padding: 0.33em 0px;
	background-color: rgb(100,100,150);
	color: white;
	text-decoration: none;
	font-weight: bold;
}

#menu a:hover {
	text-decoration: underline;
}

#content {
	margin: 40px;
}

#content h1 {
	border-bottom: 1px solid #ddd;
	font-weight: normal;
}

#content h2, #content h3 {
	font-weight: normal;
}

#footer {
	color: #ccc;
	margin-top: 100px;
	padding: 20px;
	font-style: italic;
	text-align: center;
}

#footer hr {
	display: none;
}

#footer a {
	color: #aaa;
}
.extern:before {
	content: "";
}