body { width: 100vw; margin: auto; font-family: Verdana, Geneva, Tahoma, sans-serif; background-color: #f2f2f2; }

@media only screen and (min-width: 1000px) { body { max-width: 1000px; box-shadow: 0px 0px 20px 0px rgba(0, 0, 0, 0.15); } }

body > * { background-color: #ffffff; padding-left: 16px; padding-right: 16px; }

body a { color: black; }

body main { padding-top: 1cm; }

@media only screen and (min-width: 1000px) { body main { padding: 1cm 2cm 1cm 2cm; } }

body main p h2, body main li h2 { text-align: left; }

body main .svg_subpage { overflow-x: auto; }

body main .svg_subpage svg { display: block; margin-left: auto; margin-right: auto; }

@media only screen and (max-width: 1000px) { body main sup { vertical-align: bottom; font-size: medium; } body main sup::before { content: "["; } body main sup::after { content: "]"; } body main .mjpage__block { overflow-x: auto; } }

body main h1.top_header { margin-bottom: 1cm; text-align: center; }

@media only screen and (min-width: 1000px) { body main h1.top_header { font-size: 2.5em; } }

body main table { margin: auto; }

body main table thead > tr { background-color: lightgrey; }

body main table tbody > tr:nth-child(even) { background-color: #f0f0f0; }

body main ul.post_listing { list-style: none; padding-inline-start: 0em; padding-inline-end: 0em; }

body main ul.post_listing li + li:before { content: ''; display: block; width: 60%; margin: auto; height: 1px; border-top: black solid 1px; margin-top: 1cm; margin-bottom: 1cm; }

body main ul.pagination_trail { list-style: none; display: flex; justify-content: center; padding-inline-start: 0; }

body main ul.pagination_trail li { display: inline; }

body main ul.pagination_trail li a { display: block; color: black; float: left; padding: 8px 16px; text-decoration: none; }

body main ul.pagination_trail li a.selected { background-color: #f2f2f2; }

body main ul.pagination_trail li a:hover { background-color: lightslategrey; }

body main img { max-width: 100%; }

body main figure { text-align: center; margin-block-start: 0; margin-block-end: 0; margin-inline-start: 0; margin-inline-end: 0; }

body img { max-width: 100%; }

body footer { padding-bottom: 2em; }

header img { width: 100%; }

header nav { max-width: 90%; margin: auto; display: flex; justify-content: flex-end; }

header nav ul { list-style-type: none; }

header nav ul li { display: inline-block; }

header nav ul li a { text-decoration: none; display: block; padding: 8px 16px; }

header nav ul li a:hover { background-color: lightslategrey; }

header nav ul li ul { padding-inline-start: 0; }

header nav ul li ul li { display: block; }

header nav ul li .submenu { display: none; position: absolute; background-color: #f9f9f9; box-shadow: 0px 8px 16px 0px rgba(0, 0, 0, 0.2); z-index: 1; }

header nav ul li:hover .submenu { display: block; }

header:after { content: ""; display: block; width: 80%; height: 1px; margin: auto; border-bottom: black solid 1px; }

.footnotes { margin-top: 2em; }

.footnotes::before { border-top: 1px solid black; width: 60%; padding-top: .5em; margin-left: 1em; display: inline-block; content: "Footnotes:"; font-weight: bold; }

.footnotes p { margin: 0; }

.github_logo { background-image: url("/assets/images/github.png"); width: 1.5em; height: 1em; background-position: left; background-size: contain; background-repeat: no-repeat; display: inline-block; }

body { background-color: #f2f2f2; }

body main { display: flex; flex-direction: row; justify-content: center; align-items: center; margin: auto; }

body main a { width: 50%; }

body main figcaption { height: 3em; }

/*# sourceMappingURL=index.css.map */