* {
    box-sizing: border-box; }

body {
    margin: auto;
    padding: 0 1em;
    max-width: 800px;
    font-family: -apple-system,system-ui,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,sans-serif;
    line-height: 150%; }

code {
    font-family: monospace;
    background-color: #F5F5F5;
    border-radius: 3px;
    padding: 0 0.2em;
    font-size: 105%;
}

pre.repl {
    border-left: 3px solid #444;
    background-color: #EAEAEA;
}

pre {
    background-color: #F5F5F5;
    line-height: 150%;
    padding: 1em 1em;
    border-radius: 3px;
    overflow-x: auto;
}

div.sourceCode {
    overflow-x: unset; }

pre code {
    border: none;
    background: rgba(0,0,0,0);
    padding-left: 0;
    padding-right: 0; }

blockquote {
    background: rgba(255,255,190,0.5);
    border-left: 3px solid rgba(210,205,85,0.5);
    border-radius: 3px;
    padding: 1px 1em;
    margin-left: 0;
    margin-right: 0; }

blockquote p {
    margin: 0.5em 0; }

blockquote blockquote {
    background: rgba(0,0,0,0.1);
    border: 1px solid rgba(0,0,0,0.1); }

.note {
    background: #CCE8FF;
    padding: 1px 1em;
    margin: 1em 0;
    border: 1px solid #80C6FF; }

.note p {
    margin: 0.5em 0; }

ul, ol {
    padding-left: 1.6em;
}

a:link, .blue-links a:visited
            {color: #008ACE; text-decoration: none;}
a:visited   {color: #B40EB4; text-decoration: none;}
a:hover     {text-decoration: underline;}
a:active    {text-decoration: underline;}

.gray                 {color: #AAA;}
.gray a:link          {color: #888;}
.gray a:visited       {color: #777;}

h1 a, h2 a, h3 a, h4 a, h5 a, #header a {
    text-decoration: none;
    color: black; }

h1, h2, h3, h4, h5 {
    font-weight: 500;
    padding-bottom: 1px;
    line-height: 150%;
}

h1 {
    font-size: 165%;
    margin-top: 2em;
    border-bottom: 1px solid #bbb;
}

h2 {
    font-size: 130%;
    margin-top: 1.5em;
    margin-bottom: -0.2em;
    width: 50%;
    border-bottom: 1px solid #bbb;
}

h3 {
    font-size: 115%;
    margin-top: 1.2em;
    margin-bottom: -0.4em;
}

h4 {
    font-size: 95%;
    font-style: italic; }

h5 {
    font-size: 90%;
    font-style: italic; }

h1.title {
    border-bottom: 4px double black; }

dt code {
    font-weight: bold; }

dd p {
    margin-top: 0; }

#header {
    font-size: 300%;
    font-weight: 300;
    height: 5ex;
    padding: 3.4rem 0px;
}

#header img {
    float:right;
    top:50%;
    position:relative;
    transform:translateY(-50%);
    max-height:3rem;
}

#details {
    margin-top: 1rem;
    font-size: 85%;
}

#details .badge {
    display: inline-block;
    border-radius: 0.2em;
    padding: 0px 0.45em;
    background-color: #eee;
    margin-right: 0.45em;
    margin-bottom: 0.40em;
}

#details .badge.attention {
    background-color: #56f39a;
}

#main {
    padding: 1.5em 0 2.5em 0; }

#series {
    width: 75%;
    margin: 2em auto 0 auto;
    padding: 1em 0;
    padding-bottom: 1.2em;
    text-align: center;
    border: 1px solid black;
    background-color: #e7e3fc;
    font-size: 1.5em; }

#monadfix {
    margin: 0 auto 2.5em auto;
    padding: 1px 1em;
    padding-bottom: 0.5em;
    border-radius: 0.2em;
    background-color: #eee;
}

#ad {
    width: 75%;
    margin: 0 auto 2.5em auto;
    padding: 1em 0;
    padding-bottom: 1em;
    text-align: center;
    border: 1px solid black;
    background-color: rgb(218, 243, 255) }

#footer {
    width: 100%;
    text-align:center;
    font-size:0.9em;
    padding:0.5em 8px;
}

.footnotes {
    margin: 3em 0;
    font-size: 0.9em; }

.link {
    font-size: 0.7em;
    text-align: center; }

hr {
    height: 2px;
    width: 30%;
    border-bottom: 1.5px solid black;
    border-top: none;
    border-left: none;
    border-right: none;
    margin: 2em auto; }

th, td {
    padding: 1px 8px; }

table {
    margin-bottom: 1em;
    width: 100%;
    margin-left: auto;
    margin-right: auto; }

table, th, td {
    border: 0.5px solid grey;
    border-spacing: 0; }

.autowidth > * {
    width: auto; }

audio {
    vertical-align: middle;
    margin: 2px 0; }

textarea, input {
    font-family: inherit;
    font-size: inherit; }