body{
	background-color: black;
	color: #ffff88;
	font-size: 14pt;
	font-family: georgia;
	}
h1, h2, h3, h4, h5, h6{
	color: #ffffff;
	}
h1{
	text-align: center;
	}
.interface{
	color: #00aa00;
	}
pre.code{
	font-family: courier, monospace;
	font-size: 10pt;
	margin: 1em;
	padding: 1em;
	//width: 50%;
	background-color: #ffffff;
	color: #000000;
	}
a:link, a:visited, a:active{
	color: #8888ff;
	font-weight: bold;
	text-decoration: none;
	}
a:hover{
	text-decoration: underline;
	}
a.top{
	margin-left: 1em;
	}
a.top:before{
	content: " -- "
	}
span.sig{
	display: block;
	text-align: right;
	margin-right: 4em;
	font-style: italic;
	color: #00aa00;
	}
span.sig:before{
	content: " ~~ "
	}
div{
	padding-left: 1em;
	}
p{
	text-align: justify;
	}
.side_note{
	width: 30%;
	float: right;
	margin: 1em;
	padding: 0.5em;
	border: solid 1px #8888ff;
	background-color: #000022;
	}
.side_note h4.title{
	display: inline;
	}
.side_note p{
	margin-top: 1em;
	margin-bottom: 0em;
	font-size: 12pt;
	}
.article_description{
	background-color: #001100;
	border: solid 1px #008800;
	margin: 1em;
	padding: 7px;
	}
.article_description .title{
	
	}
.article_description .description{
	margin: 0em;
	margin-left: 2em;
	}