@import url("universal.css");

body
{
	background-image: url(../images/backgrounds/terminal.png);
}

*
{
	color: rgb(10%,90%,10%);
	font-family: monospace;
	font-size: 12pt;
}

div.nav
{
	color: rgb(10%,90%,10%);
	height: 20pt;
}

a.nav 
{
	border: 1px solid rgb(10%,90%,10%);
	background-image: url(../images/backgrounds/terminal-dark.png);
	padding: 2pt;
	margin: 5pt;
	text-decoration: none;
}

a.nav:hover
{
	color: rgb(30%,95%,10%);
	background: black;
}

div.main
{
	color: rgb(10%,90%,10%);
	background-image: url(../images/backgrounds/terminal-dark.png);
	padding: 2em;
}

div.main a
{
	color: rgb(10%,95%,10%);
	text-decoration: none;
	border-bottom: 3px double rgb(10%,95%,10%);
}

h1
{
	font-size: 20pt;
	text-transform: uppercase;
}

div.footer
{
	margin-top: 1em;
	color: rgb(10%,85%,10%);
	background-image: url(../images/backgrounds/terminal-dark.png);
	height: 14pt;
	padding-left: 0.5em;
	padding-right: 0.5em;
}

div.footer a
{
	color: rgb(10%,90%,10%);
	text-decoration: underline;
	font-weight: bold;
	font-size: 10pt;
}

div.footerstyle
{
	float: left;
	font-size: 10pt;
}

div.footercopyright
{
	float: right;
	font-size: 10pt;
}

div.header
{
	vertical-align: middle;
}

div.header a
{
	text-decoration: none;
	float: right;
	background-image: url(../images/backgrounds/terminal-dark.png);
	border: 1px solid rgb(10%,90%,10%);
	position: relative;
	left: -2em;
}

div.article
{
	padding-bottom: 1em;
}

div.articleheader
{
	font-weight: 600;
}

div.articlebody
{
	margin-left: 1em;
	padding: 1em;
}

a.function
{
	font-size: 10pt;
	margin-left: 1em;
	text-decoration: underline !important;
	border: none !important;
}

span.header
{
	color: black;
	font-weight: bold;
	font-size: 24pt;
	letter-spacing: 2pt;	
	font-variant: small-caps;
	padding: 1em;
}

pre.code
{
	font-weight: bold;
	border: 2px solid rgb(10%,70%,10%);
	background: black;
}

a img
{
//	bxorder: 3px double rgb(10%,95%,10%);
}

li
{
	padding-top: 2pt;
	list-style: square;
}