body {
	font-family: luxi sans,sans-serif;
}

.screen {
	font-family: DejaVu Sans Mono, Courier New, monospace;
	font-size: 1em;
	display: block;
	padding: 10px;
	border: 1px solid #bbb;
	background-color: #eee;
	color: #000;   
	overflow: auto;
	border-radius: 2.5px;
	-moz-border-radius: 2.5px;
	margin: 0.5em 2em;

}

.programlisting {
	font-family: Courier,monospace;
	font-size: .75em;
	display: block;
	padding: 10px;
	border: 1px solid #bbb;
	background-color: #eee;
	color: #000;   
	overflow: auto;
	border-radius: 2.5px;
	-moz-border-radius: 2.5px;
	margin: 0.5em 2em;
}

.emphasis {
	font-family: sans-serif;
	color: #00aa00;
}

.caption {
	color: #ccc;
}

.figure {
	color: #000077;
}