body {
	width: 46em;
	margin: 2em auto;
	font-family: Times, serif;
	font-size: 16px;
	line-height: 1.25em;
}

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

h4 {
    line-height: 1em;
}

p {
	margin: 1.5em 0;
}

tt {
	font-size: .75em;
}

pre {
	font-size: .75em;
	background: #FFFFBF;
	border-top: 1px solid #FFFF80;
	border-bottom: 1px solid #FFFF80;
	padding: .50em;
    line-height: 1.25em;
}


hr {
    border: none;
    border-top: 1px solid #aaa;
    
}

hr.small {
    width: 50%;
}
    


/*
ol li {
    padding-bottom: 2em;
}

li li {
    padding-bottom: 1em;
}
*/

ol ol {
    list-style-type: lower-alpha;
}

var {
     font-style: italic;
     font-family: "Courier New", Courier, monospace;
}