body {
        color: black;
        background: white;
	font-size: 12pt;
	font-family: helvetica, arial, tahoma, sans-serif;
}
img { 
	border-width: 0 
}
pre.console {
	background: black;
	color: rgb(180,178,180);
	font-family: console, terminal, monospace;
	font-size: 12pt;
}
pre.title {
	background: rgb(180,178,180);
	color: black;
}
pre {
	border: 1px solid rgb(200,200,200);
	color: black;
	background-color: rgb(234,234,234);
	font-family: monospace;
	font-size: 10pt;
}
.user {
	color: white;
}
.host {
	color: rgb(255,255,82);
}
.dir {
	color: rgb(82,255,255);
}
.busy {
	color: rgb(178,24,178);
}
.done {
	color: rgb(24,178,24);
}
.user,.host,.dir,.busy,.done {
	background: black;
}
img.right {
	float: right;
	margin-right: 0;
}
.maintext {
	font-family: helvetica, arial, tahoma, sans-serif;
	font-size: 14px;
	font-style: normal;
}
.menutext {
	font-family: helvetica, arial, tahoma, sans-serif;
	font-size: 12px;
	font-style: normal;
}
.headtext {
	font-family: helvetica, arial, tahoma, sans-serif;
	font-size: 16px;
	font-style: normal;
	font-weight: bold;
}
.console {
	font-family: console, terminal, monospace;
	font-size: 10pt;
}