body {
	font-family: "Times", "Times New Roman", "New Century Schoolbook", serif;
	color: #000;
}

h1, h2, h3, h4, h5, h6 {
	font-family: "Arial", "Helvetica", sans-serif;
}



/* DocBook specific tags */

pre.programlisting {
	margin-left: 2em;
	margin-right: 2em;
	padding: 0.5em;
	display: block;
	text-align: left;
	background-color:#eee;
	border: thin solid #000;
	font-family: "Courier New", Courier, monospace;
}


li, li.p {
	padding: 0em;
	margin: 0em;
	border: thin;
}