body {
	background-color: #d9d9d9;
	font-family: Liberation Sans, Arial, Helvetica, sans-serif;
}

code {
	font-family: Nimbus Mono L, Liberation Mono, DejaVu Sans Mono, mono, monospace;
	background-color: #e0e0e0;
}

a, a:visited, a:hover {
	color: #5050a0;
	text-decoration: none;
}

a.amenu {
	color: #a0a0a0;
}

a:hover {
	text-decoration: underline;
}

.header {
	padding: 0 0 0 0;
	margin: 0 0 0 0;
}


.header h1 {
	color: #ffffff;
//	background-color: #ff9037;
	background-color: #ff7700;
	border-top-left-radius: 10pt;
	border-top-right-radius: 10pt;
	margin: 8pt 8pt 0pt 8pt;
	padding: 4pt 12pt 4pt 12pt;
	font-family: Nimbus Mono L, Courier New, Courier, Liberation Mono, DejaVu Sans Mono, mono, monospace;
//	font-family: nimbus mono l, bitstream vera sans mono;
	font-weight: bold;
}

.header ul {
	color: #303030;
	background-color: #1b729b;
	border-bottom-left-radius: 10pt;
	border-bottom-right-radius: 10pt;
	margin: 0pt 8pt 8pt 8pt;
	padding: 4pt 12pt 4pt 12pt;
}

.header ul li { display: inline; list-style: none; padding: 0 0.5em 0 0.5em; border-left: 1px solid; }
.header ul li:first-child { border-left: none; }

.article {
	background-color: #ffffff;
	border-bottom-left-radius: 10pt;
	border-bottom-right-radius: 10pt;
	border-top-left-radius: 10pt;
	border-top-right-radius: 10pt;
	margin: 8pt 8pt 8pt 8pt;
	padding: 4pt 12pt 4pt 12pt;
}

.article h2 {
	margin-bottom: 0;
}

.article div.pub {
	margin-top: 0;
	font-weight: bold;
	font-size: 100%;
//	padding-left: 16pt;
	color: #a0a0c0;
}

.article pre {
	background-color: #e0e0e0;
	padding: 1pt 8pt 1pt 8pt;
	margin: 0 32pt 0 32pt;
}

.article blockquote {
	font-style: italic;
	background-color: #e0e0e0;
	padding: 1pt 8pt 1pt 8pt;
	margin: 0 32pt 0 32pt;
}

#disqus_thread {
	background-color: #ffffff;
	border-bottom-left-radius: 10pt;
	border-bottom-right-radius: 10pt;
	border-top-left-radius: 10pt;
	border-top-right-radius: 10pt;
	margin: 8pt 8pt 8pt 8pt;
	padding: 4pt 12pt 4pt 12pt;
}

.ad {
	float: right;
}