html, body {
    background-color: white;
    color: black;
    margin: 0 auto;
    width: 800px;
    padding: 0;
    font-size: 18px;
    font-family:"FuturaBT W05 Book", Futura, "Trebuchet MS", Helvetica, NotoColorEmoji, Twemoji, sans-serif;
    font-kerning: normal;
}
@viewport {
    width: 820px;
}
@-viewport {
    width: 820px;
}
strong {
    font-weight: bold;
}
em, cite {
    font-family:"FuturaBT W05 Book Italic", Futura, "Trebuchet MS", Helvetica, NotoColorEmoji, Twemoji, sans-serif;
    font-style: italic;
    color: rgb(127,127,127);
}
a {
    color: black;
}
blockquote, q {
	font-size: 80%;
}
q {
    quotes: '\201C' '\201D' '\2018' '\2019'
}
cite q {
    font-variant: small-caps;
}

h1 {
	font-size: 36px;
}
h2 {
	font-size: 32px;
}
h3 {
	font-size: 28px;
}
h4 {
	font-size: 24px;
}
h5 {
	font-size; 20px;
}
h6 {
	font-size: 16px;
}

nav     div.banner,
div.nav div.banner {
    position: relative;
    z-index: 3;
    left: 0;
    top: 0;
    margin: 0;
    width: 100%;
    color: black;
    background: white;
    border-radius: 2em 2em 0.4em 0.4em;
    text-align: center;
}
nav     div.bar    div.flat,
nav     div.banner div.flat,
div.nav div.bar    div.flat,
div.nav div.banner div.flat {
    margin: 0 auto 0.4em auto;
    font-weight: bold;
}
nav     div.bar    div.flat a,
nav     div.banner div.flat a,
div.nav div.bar    div.flat a,
div.nav div.banner div.flat a {
    text-decoration: none;
    border-width: 0.1em;
    border-style: solid;
    margin:  0 -0.5em;
    padding: 0.2em  0.5em;
    border-radius: 0 0.6em 0 0.6em;
    white-space: nowrap;
}

nav     div.bar,
div.nav div.bar {
    z-index: 2;
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    text-align: center;
}
nav     div.bar:hover,
div.nav div.bar:hover {
    z-index: 4;
}
nav     div.bar    div.flat,
div.nav div.bar    div.flat {
    text-align: center;
    padding: 0.4em;
}
nav     div.banner div.flat,
div.nav div.banner div.flat {
    border-radius: 0.4em;
}
nav     div.bar    div.flat a,
nav     div.banner div.flat a,
div.nav div.bar    div.flat a,
div.nav div.banner div.flat a {
    border: 0;
}
nav     div.bar    div.flat a,
div.nav div.bar    div.flat a {
    color: white;
}
nav     div.banner div.flat a,
div.nav div.banner div.flat a {
    color: black;
}
nav     div.bar    div.flat,
nav     div.banner div.flat a.selected,
nav     div.banner div.flat a:active,
div.nav div.bar    div.flat,
div.nav div.banner div.flat a.selected,
div.nav div.banner div.flat a:active {
    color: white;
    border: 0;
    background: rgb(47,47,47);
    background: linear-gradient(to bottom, rgb(0,0,0) 0%,rgb(95,95,95) 15%,rgb(0,0,0) 100%);
}

table caption,
nav     div.banner div.flat,
nav     div.bar    div.flat a.selected,
nav     div.bar    div.flat a:active,
div.nav div.banner div.flat, 
div.nav div.bar    div.flat a.selected,
div.nav div.bar    div.flat a:active {
    color: black;
    border: 0;
    background: rgb(191,223,223);
    background: linear-gradient(to bottom, rgb(127,191,191) 0%,rgb(191,223,223) 15%,rgb(127,191,191) 100%);
}
nav     div.bar    div.flat,
nav     div.banner div.flat,
div.nav div.bar    div.flat,
div.nav div.banner div.flat {
    color: transparent;
}
h1, h2, h3, h4, h5, h6 {
    padding: 0.5em 0;
    margin: 0.25em;
}
h1, div.title {
    /* font-size: 3.5em; */
    font-weight: bold;
    letter-spacing: 0.1em;
    color: black;
    border-width: 0;
    text-align: center;
    margin: 0;
    padding: 0;
}
h1 span.title {
    margin: 0 auto;
    padding: 0;
}
p.description, h1, h2, h3, h4, h5, h6, caption,
nav     div.flat,
div.nav div.flat {
    font-family: Fanwood, Didot, "Didot LT STD", "Hoefler Text", Garamond, NotoColorEmoji, Twemoji, serif;
    font-variant: small-caps;
    font-weight: normal; /*bold;*/
    text-align: center;
}
h5, h6 {
    font-family:"FuturaBT W05 Book", Futura, "Trebuchet MS", Helvetica, NotoColorEmoji, Twemoji, sans-serif;
}
.symbol {
    font-weight: normal;
    font-size: 128px;
}
div.title h1 {
	font-size: 64px;
}
div.title p.description {
	font-size: 32px;
	letter-spacing: 0.50ex;
}
h2 {
    text-align: center;
    padding: 0.5em 1em;
    margin: 1em 0;
    border: 0;
    border-top: 0.25em black solid;
    border-radius: 0.5em 1.0em 0 0;
    background: rgb(239,239,239);
    background: linear-gradient(to bottom, rgb(255,255,255) 0%,rgb(223,223,223) 0.25em,rgb(255,255,255) 100%);
}
a.selflink {
	text-decoration: none;
}
h3 {
    text-align: left;
    padding: 0.5em 1em;
    margin: 1em;
    border: 0;
    border-left: 0.25em black solid;
    border-radius: 1.0em 0 0 0.5em;
    background: rgb(247,247,247);
    background: linear-gradient(to right, rgb(255,255,255) 0%,rgb(239,239,239) 0.25em,rgb(255,255,255) 100%);
}
h3, h4, h5, h6 {
    margin-top: 2em;
}
.center {
    margin-left: auto;
    margin-right: auto;
    text-align: center;
}
p, dl, ol, ul {
      padding: 0.25em 0.5em;
      margin: 0.25em 0.5em;
}

dl, dd, ol, ul {
    background: rgb(247,247,247);
    background: linear-gradient(to right, rgb(255,255,255) 0%,rgb(239,239,239) 0.25em,rgb(255,255,255) 2em);
    border-radius: 1.0em 0 0 0.5em;
    border: 0;
    border-left: 0.125em black solid;
    margin: 1em;
    padding: 0.5em;
}
ol, ul {
    padding-left: 2em;
}

dt {
    font-weight: bold;
}
li {
    margin: 0;
    padding: 0;
}
header time, div.header div.time {
    font-family:"FuturaBT W05 Book Italic", Futura, "Trebuchet MS", Helvetica, sans-serif;
    font-style: italic;
    margin-left: 2em;
}
header dl, div.header dl {
	float: right;
	font-size: 80%;
}

.body {
    text-align: justify;
    overflow: auto;
}

pre {
    padding: 0;
    margin: 0 auto;
}
pre.code {
    text-align: left;
    overflow: auto;
}
code, .code {
    background-color: rgb(191,223,191);
    color: rgb(48, 56, 48);
    border-color: rgb(143, 168, 143);
    /* border-width: 0.0625em 0.25em 0.0625em 0.25em; */
    border-width: 1px 3px 1px 3px;
    border-radius: 3px;
    border-style: solid;
}
code, .code, pre, pre.code, textarea {
    font-size: 7px;
    font-style: normal;
    font-family: "code7", "Monoid", "JetBrains Mono", "Fira Code", "Fira Mono", monospace;
    padding-left: 2px; /* the right side of the font has an extra pixel, so pad the let respectively */
    padding-right: 1px;
    padding-top: 1px; /* to mirror the descender pixel */
}
var {
    background-color: rgb(223,191,223);
    color: black;
    font-weight: normal;
    font-style: normal;
    font-variant: normal;
    border: 0.0625em solid rgb(191, 127, 191);
    padding-left: 0.25em;
    padding-right: 0.25em;
    border-radius: 0.5em;
}
dfn {
    font-style: normal;
    font-weight: bold;
}

object {
    width: 100%;
    height: 100%;
}
form table, input {
    width: 100%;
}
textarea {
    width: 100%;
    height: 10em;
}
textarea.small {
    height: 2em;
}
textarea.large {
    height: 20em;
}
table {
    border: 0;
    margin: 0 auto;
}
table caption {
    border-radius: 0.4em;
    padding: 0.2em;
}
table td, table th {
    text-align: left;
    padding: 0.25em 0.5em;
    margin: 0;
}
table td {
    border: 0;
    background-color: rgb(191,223,223);
}
table th {
    font-weight: normal;
    font-style: italic;
    border: 0;
    background: rgb(239,239,239);
    white-space: nowrap;
}
table th[scope=col] {
    text-align: center;
    border-bottom: 0.125em black solid;
    border-radius: 0 0 0.25em 0.5em;
    background: rgb(239,239,239);
    background: linear-gradient(to top, rgb(255,255,255) 0%,rgb(223,223,223) 0.25em,rgb(255,255,255) 100%);
}
table th[scope=row] {
    text-align: right;
    border: 0;
    border-right: 0.125em black solid;
    border-radius: 0 0.25em 0.5em 0;
    background: rgb(239,239,239);
    background: linear-gradient(to left, rgb(255,255,255) 0%,rgb(223,223,223) 0.25em,rgb(255,255,255) 100%);
}
table th a {
    display: block;
    text-decoration: none;
}
caption.rot45 {
    margin-bottom: 3em;
}
th.rot45 div.rot45 {
    position: absolute;
    transform-origin: bottom left;
    padding-left: 1.0ex;
    transform: rotate(-45deg);
}

/*
@font-face {
	font-family: "Monoid";
	src:url("Fonts/Monoid-Regular.ttf");
}
*/
@font-face {
	font-family: "code7";
	src:url("Fonts/code7.ttf");
}
@font-face {
	font-family: "code7";
	src:url("Fonts/code7sc.ttf");
	font-weight: bold;
}
@font-face {
	font-family: "code7";
	src:url("Fonts/code7it.ttf");
	font-style: italic;
}

@font-face {
	font-family: "Fanwood";
	src:url("Fonts/Fanwood-webfont.woff");
	font-style: normal;
}
@font-face {
	font-family: "Fanwood";
	src:url("Fonts/Fanwood-Italic-webfont.woff");
	font-style: italic;
}
/*
@font-face {
	font-family: "Twemoji";
	src:url("Fonts/TwemojiMozilla.ttf");
}
@font-face {
	font-family: "NotoColorEmoji";
	src:url("Fonts/NotoColorEmoji.ttf");
}
*/

/*
	This CSS resource incorporates links to font software which is the valuable copyrighted property of Monotype and/or its suppliers. You may not attempt to copy, install, redistribute, convert, modify or reverse engineer this font software. Please contact Monotype with any questions regarding Web Fonts:  http://www.fonts.com
*/
@import url("https://fast.fonts.net/lt/1.css?apiType=css&c=2bd142a4-c069-4a42-b7a4-9b8693048ee6&fontids=5575015,5575023");
@font-face{
	font-family:"FuturaBT W05 Book";
	src:url("Fonts/5575015/464e1370-5b73-493b-a369-ee8ed8d2d36e.woff2") format("woff2"),url("Fonts/5575015/e23cba8f-ab32-49b8-95d3-3dad0150b369.woff") format("woff");
}
@font-face{
	font-family:"FuturaBT W05 Book Italic";
	font-style: italic;
	src:url("Fonts/5575023/d223043e-0472-46ce-af5f-faaaece0530c.woff2") format("woff2"),url("Fonts/5575023/974af335-f66b-408e-a629-64cbbebold.woff") format("woff");
}