@font-face {
	font-family: "Open Sans";
	src: url('opensans.ttf') format('truetype');
}

body {
    background-color: white;
    padding: 0;
	margin: 0;
    font-size: 1.5em;
	font-family: "Open Sans";
}

nav.prevnext {
	margin: 1em 0;
	padding: 0.5em;
	background-color: #f9f9f9;
	display: flex;
}

a.previous_page {
	flex: 1;
	text-align: left;
}

a.next_page {
	flex: 1;
	text-align: right;
}

ul, ol {
	clear: both;
}

ol#toc {
	margin: 0 5%;
	padding: 0;
}


ol#toc li {
	margin: 0;
	padding: 0;
}


ol > li > ol {
	list-style: lower-latin;
}

ol#toc ol {
	padding-top: 0;

}

section {
	margin: 1em 0;
	clear: both;
}



p.proof_qed {
	margin: 0;
	height: 1em;
}

h1 {
	font-size: 2em;
}

h2 {
	font-size: 1.75em;
}

h3 {
	font-size: 1.5em;
}

h4 {
	font-size: 1.25em;
}

h5 {
	font-size: 1em;
}


h6 {
	float: left;
	font-size: 1em;
	margin: 0 0.5em 0 0;
	padding: 0;
}

.proof h6 {
	font-weight: normal;
	font-style: italic;
}

blockquote {
	background-color: #f9f9f9;
	margin: 1em;
}

blockquote p {
	padding: 0.6em;
}

table {
	margin: 0 auto;
}

td {
	padding: 0 0.25em;
}

header, footer {
	margin: 0 auto;
	padding-bottom: 0;
	width: 80%;
	max-width: 1000px;
}

footer {
	padding-bottom: 1em;
}

main {
	margin: 0 auto;
	width: 80%;
	max-width: 1000px;
}

dfn {
	font-style: normal;
	font-weight: bold;
}

figure h5 {
	display: none;
}

figure span.captionheading {
	font-weight: bold;
}


div.equation {
	text-align: center;
	margin: 1em 0;
}


li span {
	padding: 0;
	margin: 0;
}


ul, ol {
	position: relative;
	margin: 0 0 0 0;
}


span.liarg {
	display: none;
}

span.parc {
	background-color: lightgreen;
}

span.qed {
	float: right;
	margin: 0;
	padding: 0;
}



span.display_math {
	display: block;
	position: relative;
}

span.equation_number {
	display: inline-block;
	position: absolute;
	right: 0;
	top: 50%;
    transform: translate(0, -50%);
}

span.eqref, span.ref {
	background-color: thistle;
	border: 1px solid plum;
	padding: 0 0.5em 0 0;
}

span.eqref strong, span.ref strong {
	background-color: plum;
	padding: 0 0.5em;
	margin: 0 0.5em 0 0;	
}

span.mathjax_hidden {
	display: none;
}

span.message {
	padding: 0 0.2em 0 0;
}

span.message strong {
	padding: 0 0 0 0.2em;
	margin: 0 0.2em 0 0;
}

span.warning {
	background-color: #FFE4E1;
	border: 1px solid salmon;
}

span.warning strong {
	background-color: salmon;
}

span.advice {
	background-color: oldlace;
	border: 1px solid wheat;
}

span.advice strong {
	background-color: wheat;
}

span.par {
	border: 1px solid peachpuff;
	background-color: papayawhip;
}

span.par strong {
	background-color: peachpuff;
}



div.message {
	padding: 0;
	margin: 1em 0;
}

div.message div {
	margin: 0;
	padding: 0.5em;
}

div.message pre {
	display: block;
	margin: 0 0 0 0;
	padding: 0.5em;
	font-size: 1.25em;
	white-space: pre-wrap;
}

div.warning {
	background-color: #FFE4E1;
}

div.warning div {
	background-color: salmon;
}

div.advice {
	background-color: oldlace;
}

div.advice div {
	background-color: wheat;
}

div#new_commands {
	display: none;
}

section.quote h6 {
	display: none;
}



img {
	display: block;
	border: 1px solid block;
	margin: 0 auto;
}