li{
    margin-bottom: 4pt;
}

BODY {
	color: black;
	background-color: #ffffff;
	margin-left: 1em;
	margin-right: 0%;
	margin-top: 0em;
	margin-bottom: 0pt;
	line-height: 120%;
}

PRE.screen {
	margin-top:	0pt;
	margin-bottom:	0pt;
	margin-right:   1em;
	border-style:	solid;
	border-width:	1pt;
	font-weight:	border;
	white-space:	pre;
	padding:	0.5em;
	border-color: #404040;
	background-color: #ffffff;
}

.input {
	color: green;
	text-decoration: underline;
}	

div.screen{
	background: #f8f8f8;
	font-family: 'Courier', monospace, sans-serif;
	padding: 3px;
	border-width: 1px;
	border-style: solid;
	border-color: #404040;
	margin-right: 1em;
	margin-left: 1em;
}

p.screen{
	font-family: monospace;
	background: #f8f8f8;
	padding: 3px;
	border-width: thin;
	border-style: solid;
	border-width: 1px;
	border-color: #404040;
	margin-right: 1em;
	margin-left: 1em;
}	

.comment{
    font-size: smaller;
    color: gray;
    margin-left: 1em;
    margin-right; 1em;
}

h2{
	background-color: #eeeeee;
	text-align: left;
	margin-top: 7pt;
	padding-left: 0.3em;
	border-color: green;
	border-style: solid;
	border-width: 0px 0px 0.1em 0.5em;
}

h3{
	background-color: #eeeeee;
	text-align: left;
	margin-top: 7pt;
	margin-left: 2pt;
	padding-left: 0.5em;
	border-color: gray;
	border-style: solid;
	border-width: 0px 0px 0.1em 0.2em;
}

dt{
	margin-top: 5pt;
	font-weight: bold;
}