@font-face {
    font-family: "Latin Modern";
    src: url('lmsans10-oblique-webfont.eot');
    src: url('lmsans10-oblique-webfont.eot?#iefix') format('embedded-opentype'),
         url('lmsans10-oblique-webfont.woff') format('woff'),
	 url('lmsans10-oblique-webfont.ttf') format('truetype'),
	 url('lmsans10-oblique-webfont.svg#latin_modern_sans10_oblique') format('svg');
    font-style: italic, oblique;
    font-weight: normal;
}
@font-face {
    font-family: "Latin Modern";
    src: url('lmsans10-regular-webfont.eot');
    src: url('lmsans10-regular-webfont.eot?#iefix') format('embedded-opentype'),
         url('lmsans10-regular-webfont.woff') format('woff'),
	 url('lmsans10-regular-webfont.ttf') format('truetype'),
	 url('lmsans10-regular-webfont.svg#latin_modern_sans10_regular') format('svg');
    font-style: normal;
    font-weight: normal;
}
@font-face {
    font-family: "Latin Modern";
    src: url('lmsans10-boldoblique-webfont.eot');
    src: url('lmsans10-boldoblique-webfont.eot?#iefix') format('embedded-opentype'),
         url('lmsans10-boldoblique-webfont.woff') format('woff'),
	 url('lmsans10-boldoblique-webfont.ttf') format('truetype'),
	 url('lmsans10-boldoblique-webfont.svg#latin_modern_sans10BdOb') format('svg');
    font-style: italic, oblique;
    font-weight: bold;
}
@font-face {
    font-family: "Latin Modern";
    src: url('lmsans10-bold-webfont.eot');
    src: url('lmsans10-bold-webfont.eot?#iefix') format('embedded-opentype'),
         url('lmsans10-bold-webfont.woff') format('woff'),
	 url('lmsans10-bold-webfont.ttf') format('truetype'),
	 url('lmsans10-bold-webfont.svg#latin_modern_sans10_bold') format('svg');
    font-style: normal;
    font-weight: bold;
}

body {
    font-family: "Latin Modern", sans-serif;
/*    background-color: #FDF6E3;*/
}

#main {
    width: 800px;
    margin: 0 auto;
}

article, header, nav {
    display: block;
}

#logo {
    text-align: center;
    border-bottom: 2px solid #657B83;
    text-transform: uppercase;
    font-size: 1.9em;
}

#logo a:link, #logo a:visited, #logo a:active {
    text-decoration: none;
    color: #586E75;
}

#logo a:hover {
    text-decoration: none;
    color: #2AA198;
}

#topmatter {
    list-style: none;
    margin: 0;
    padding: 0;
    padding-bottom: 2em;
    text-align: center;
}

#topmatter li {
    display: inline;
}

#topmatter a {
    display: inline-block;
    padding: 10px;
    font-size: 1.2em;
    font-weight: bold;
}

#topmatter a:link, #topmatter a:visited, #topmatter a:active {
    text-decoration: none;
    color: #586E75;
}

#topmatter a:hover {
    text-decoration: none;
    color: #2AA198;
}

#bottommatter {
    text-align: center;
    border-top: 2px solid #657B83;
    color: #657B83;
		font-size: 0.75em;
}

#bottommatter a:link, #bottommatter a:visited, #bottommatter a:active {
    text-decoration: none;
    color: #586E75;
}

#bottommatter a:hover {
    text-decoration: none;
    color: #2AA198;
}

.title {
    display: inline;
    text-transform: uppercase;
    font-size: 1.5em;
}

.author {
    font-size: 1em;
    padding-bottom: 1em;
}

.idx {
    display: inline-block;
    vertical-align: top;
    padding-left: 5px;
    padding-right: 5px;
}

.idx h1 {
    font-size: 1.2em;
}

#content {
    color: #657B83;
}

#content a:link, #content a:visited, #content a:active {
    text-decoration: none;
    color: #268BD2;
}

#content a:hover {
    text-decoration: none;
    color: #2AA198;
}

#content h1, #content h1 a:link, #content h1 a:visited, #content h1 a:active {
    color: #586E75;
    font-size: 1.2em;
}

#content h1 a:hover {
    color: #2AA198;
}

#content h2, #content h2 a:link, #content h2 a:visited, #content h2 a:active {
    color: #586E75;
    font-size: 1.14em;
}

#content h2 a:hover {
    color: #2AA198;
}

#content h3, #content h3 a:link, #content h3 a:visited, #content h3 a:active {
    color: #586E75;
    font-size: 1.08em;
}

#content h3 a:hover {
    color: #2AA198;
}

#content h4, #content h4 a:link, #content h4 a:visited, #content h4 a:active {
    color: #586E75;
    font-size: 1.02em;
}

#content h4 a:hover {
    color: #2AA198;
}

#content h5, #content h5 a:link, #content h5 a:visited, #content h5 a:active {
    color: #586E75;
    font-size: 0.96em;
}

#content h5 a:hover {
    color: #2AA198;
}

#content h6, #content h6 a:link, #content h6 a:visited, #content h6 a:active {
    color: #586E75;
    font-size: 0.90em;
}

#content h6 a:hover {
    color: #2AA198;
}

#content .idx a:link, #content .idx a:visited, #content .idx a:active {
    text-decoration: none;
    color: #586E75;
}

#content .idx a:hover {
    text-decoration: none;
    color: #2AA198;
}

#content code {
		overflow-wrap: break-word;
}

#TOC a:link, #TOC a:visited, #TOC a:active {
    text-decoration: none;
    color: #586E75;
}

#TOC a:hover {
    text-decoration: none;
    color: #2AA198;
}

.theorem {
    display: block;
    margin: 25px 0;
    font-style: normal;
}

.theorem p {
    display: block;
}

.theorem-start {
    font-weight: bold;
    font-style: normal;
}

#content .theorem-start a:link, #content .theorem-start a:visited, #content .theorem-start a:active {
    text-decoration: none;
    color: #586E75;
}

#content .theorem-start a:hover {
    text-decoration: none;
    color: #2AA198;
}

.proof {
    display: block;
    margin: 25px 0;
    font-style: normal;
}

.proof p {
    display: block;
}

.proof-start {
    font-style: italic;
}

.proof-end {
    float: right;
}

.lemma {
    display: block;
    margin: 25px 0;
    font-style: normal;
}

.lemma p {
    display: block;
}

.lemma-start {
    font-weight: bold;
    font-style: normal;
}

#content .lemma-start a:link, #content .lemma-start a:visited, #content .lemma-start a:active {
    text-decoration: none;
    color: #586E75;
}

#content .lemma-start a:hover {
    text-decoration: none;
    color: #2AA198;
}

.definition {
    display: block;
    margin: 25px 0;
    font-style: normal;
}

.definition p {
    display: block;
}

.definition-start {
    font-weight: bold;
    font-style: normal;
}

#content .definition-start a:link, #content .definition-start a:visited, #content .definition-start a:active {
    text-decoration: none;
    color: #586E75;
}

#content .definition-start a:hover {
    text-decoration: none;
    color: #2AA198;
}

.proposition {
    display: block;
    margin: 25px 0;
    font-style: normal;
}

.proposition p {
    display: block;
}

.proposition-start {
    font-weight: bold;
    font-style: normal;
}

#content .proposition-start a:link, #content .proposition-start a:visited, #content .proposition-start a:active {
    text-decoration: none;
    color: #586E75;
}

#content .proposition-start a:hover {
    text-decoration: none;
    color: #2AA198;
}

.corollary {
    display: block;
    margin: 25px 0;
    font-style: normal;
}

.corollary p {
    display: block;
}

.corollary-start {
    font-weight: bold;
    font-style: normal;
}

#content .corollary-start a:link, #content .corollary-start a:visited, #content .corollary-start a:active {
    text-decoration: none;
    color: #586E75;
}

#content .corollary-start a:hover {
    text-decoration: none;
    color: #2AA198;
}

blockquote {
    background: #EEE8D5;
    padding: 0.25em 1em;
}

.inlineele {
		display: inline;
}