body {
	margin:10px 10px 10px 10px;
	background-color: #001111;
	}
	
p {
	font-size: x-small;
	font-family: "Monospace";
	line-height: 100%;
	color: #00AA00;
	}

li,td,pre {
	font-size: x-small;
	font-family: "Monospace";
	color: #00AA00;
	line-height: 100%;
	}

p.ds {
	font-size: x-small;
	line-height: 180%;
}

hr {
	color: #00AA00;
	background-color: #00AA00;
}

h1,h2 {
        font: normal bold medium/100% "Monospace";
        color: #00AA00;
        padding-top:10px;
        padding-left:5px;
        }