/* style.css */

body {
        color: black;
        background: white;
	margin-left: 5%;
	margin-right: 5%;
}
h1 {
        font-family: Garamond, "Times New Roman", serif
}
h2,h3,h4,h5,h6 {
	font-family: Garamond, "Times New Roman", serif
}
/*
pre {
	color: green; font-weight: bold;
        white-space: pre;
        font-family: "Courier New", monospace
}
*/
pre {
	background: rgb(220,220,220)
}
.sh {
	color: green; font-weight: bold;
	font-family: "Courier New", monospace
}
em {
	font-style: italic;
        font-weight: bold
}
strong {
	text-transform: uppercase;
        font-weight: bold
}
.navbar {
	text-align: center
}
p {
	text-indent: 1em;
}
dt {
	margin-top: 2em;
	margin-bottom: 1em;
	font-weight: bold
}
li {
	margin-top: 1em
}
li.toc {
	margin-top: 0em
}
th {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-weight: bold;
    font-size: 13px;
    background-color: #D3DCE3
}