.head {
	font-size: 1.78em;
	padding: 0.7ex 0ex 0.7ex 0ex;
	/*background-color: rgb(238, 238, 238);*/
	/*background-color: rgb(250, 250, 250);*/
	clear: both;
	color: rgb(85, 85, 85);
	padding-bottom: 1em;
}
.head > a {
	text-decoration: none;
	color: #000;
}
#headerSubtitle {
	font-size: 0.75em;
/*	font-style: italic;*/
	color: #000080;
	margin-left: 1em;

	transform: translate(50%,0);
	display: inline-block;
}
.menu {
	/*background-color: rgb(17, 119, 170);
	background-color: rgb(238, 238, 238);*/
	padding: 0.7ex;
	padding: 0.7ex 0ex 0.7ex 0ex;
	margin-bottom: 2em;
}
.menu a + a {
	margin-left: 2ex;
}
.menu a , .menu a.active {
	/*color: rgb(255, 255, 255);*/
	color: #000080;
	text-decoration: none;
	/*border: 1px solid #000080;*/
	border: 1px solid rgb(250,250,250);
	border-radius: 0.5ex;
	padding: 0.5ex 1.5ex;
	display: inline-block;
	min-width: 6em;
	text-align: center;
}
img { max-width: 100%; }
.menu a:hover { background-color: rgb(250,250,250); }
.menu a.active { font-weight: bold; }
.hidden {
	visibility: hidden;
}
.posthead .title {
	font-size: 125%;
	font-weight: bold;
}
html, body {
	background-color: #fff;
	color: #333;
	font-family: 'Open Sans', sans-serif;
	font-size: 14px;
	-ms-text-size-adjust: 100%;
	-webkit-text-size-adjust: 100%;
}

body {
	max-width: 1024px;
	margin: 1em auto;
	font-size: 14pt;
	line-height: 1.6;
	padding: 0 1em;
}

a {
	text-decoration: none;
	color: #92f;
}

a:hover {
	text-decoration: underline;
}

a.active {
	color: #333;
}

navigation {
	float: right;
}

navigation a {
	margin-right: 2em;
}

h1, h2, h3, h4 {
	margin: 0em 0 0.3em 0;
	color: #000;
}

h1.logotype {
	color: #888;
	font-size: 16px;
	font-weight: 300;
	display: inline;
	margin-right: 2em;
}


div.foot {
	margin: 5em 0;
}


code {
	font-family: 'Droid Sans Mono', 'Courier New', 'Lucida Console', 'Bitstream Vera Sans Mono', monospace;
	background-color: #fafafa;
	font-size: 14px;
	margin: 0 0.3em;
	color: #000;
}

pre {
	font-family: 'Droid Sans Mono', 'Courier New', 'Lucida Console', 'Bitstream Vera Sans Mono', monospace;
	font-size: 14px;
	padding: 6px 12px 6px 12px;
	overflow: auto;

	border-left: 3px solid #92f;
	background-color: #fafafa;
	color: #222;
}

pre code { margin: 0; }

code span.comment { color: #666; }
code span.string { color: #6a0; }
code span.regexp { color: #719; }
code span.punct { color: #17b; }
code span.keyword { color: #f0b; }
code span.number { color: #d83; }
code span.var { color: #209; }
code span.def { color: #923; }