body {
    font-family: serif;
}

h1,h2,h3,h4,h5 {
    font-family: sans-serif;
    margin-top:2pt;
    margin-bottom:8pt;
    padding-top: 1px;
    padding-bottom: 1px;
    clear: left;
    -moz-border-radius: 5%;
    -moz-border-radius-bottomleft: 0%;
    -moz-border-radius-bottomright: 0%;
}

h1 {
    font-size: xx-large;
    padding-right:1em;
    padding-left:1em;
    clear: both;
    text-align: center;
}

h2 {
    font-size: x-large;
    padding-left:6pt;
    padding-right:6pt;
    clear: both;
}

h3 {
    font-size: large;
    padding-left:9pt;
    padding-right:9pt;
    width: 60%;
}

h4 {
    font-size: medium;
    padding-left:12pt;
    padding-right:12pt;
    width: 60%;
}

h5 {
    font-size: small;
    padding-left:15pt;
    padding-right:15pt;
    width: 60%;
}

.invisible {
    display: none;
}

.navbar {
    margin-top:2pt;
    margin-bottom:2pt;
    border-style:none;
}

.chapter, .navbar {
    padding-left: 0pt;
    margin-bottom:2pt;
}

li.chapter {
    font-size: small;
    padding-left: 3pt;
}

li.activechapter, li.chapter:hover {
    margin-bottom:2pt;
    font-size: small;
    padding-left: 1em;
}

h4.navbar {
    text-align: center;
    padding-left: 0;
    padding-right: 0;
    margin-top: 0.75em;
    width: 100%;
}

li.navbar {
    padding-left: 3pt;
    list-style-type: none;
    margin-bottom:2pt;
    margin-top: 2pt;
}


li.activenavbar, li.navbar:hover {
    padding-left: 1em;
    list-style-type: none;
    margin-bottom:2pt;
    margin-top: 2pt;
}

abbr, acronym {
    border-bottom: 1px dotted #777777;
    cursor: help;
}

a.navbar:link, a.navbar:visited, a.chapter:link, a.chapter:visited {
    display: block;
}

a.next:link, a.next:visited, a.previous:link, a.previous:visited {
    border-style:double;
    border-width:medium;
    border-color:black;
    -moz-border-radius: 50%;
    padding-left: 3pt;
    padding-right: 3pt;
}

div.next {
    float: right;
    clear: right;
}

div.previous {
    float: left;
    clear: both;
}

dl,ul,ol {
    margin-top: 1pt;
}

pre.code {
    overflow:	auto;
    margin-top: 8pt;
    margin-bottom: 8pt;
    white-space:pre;
    border-style:solid;
    border-width:thin;
    padding:5px;
}

.sidebar, .ednote {
    font-style: italic;
    border-style: solid;
    border-width: thin;
    padding: .5em;
    text-align: justify;
    margin-top: .5em;
    margin-bottom: .5em;
    -moz-border-radius: 5%;
}

.sidebar {
    float: right;
    clear: right;
    width: 33%;
    margin-left: .5em;
    margin-right: 1px;
    background-color: black;
}

.ednote {
    float: left;
    clear: left;
    width: 20%;
    border-style: dashed;
    margin-right: .5em;
    margin-left: 1px;
}

.boxology, .listy {
	margin: 3px;
	padding: 3px;
	border-style: solid;
	border-width: thin;
}

table.boxology, table.listy { 
	/* float: left; */
	border-collapse: collapse
}

th.boxology, th.listy, td.boxology, td.listy {
    font-family: sans-serif;
}

th.listy {
	text-align: right;
	font-family: sans-serif;
	border-style: dashed;
}

td.listy {
	border-style: dashed;
	border-left: thin solid;
}

/*
dt {
    font-weight: bold;
}
*/

.toc { 
	position: absolute;
	top: 1em;
	left: 3px;
	width: 242px;
	float: left;
	clear: left;
	display: block;
}

.mainbody { 
	position: absolute;
	top: 1em;
	left: 250px;
	width: -250px;
	padding-right: 3px;
	padding-top: 0px;
	float: right;
	clear: right;
	font-size: normal;
	display: block;
}