* {
    box-sizing: border-box; }

body {
    margin: auto;
    padding: 0 1em;
    max-width: 800px;
    font-family: sans-serif;
    line-height: 150%; }

code {
    border: 1px solid #E1E1E8;
    font-family: monospace;
    background-color: #F7F7FA;
    padding: 2px 4px;
    font-size: 105%; }

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

pre {
    border: 1px solid #E1E1E8;
    background-color: #F7F7FA;
    line-height: 150%;
    padding: 0.5em 1em;
    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: 1px solid rgba(219,215,100,0.5);
    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; }

a:link          {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: 600;
    padding-bottom: 1px;
    line-height: 150%;
}

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

h2 {
    font-size: 130%;
    margin-top: 1.5em;
    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 {
    background-color: #56f39a;
    font-size: 300%;
    height: 3ex;
    padding: 1.5rem 1rem;
    border: 1px solid #29c96e;
    border-top: none;
}

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

#details {
    margin-top: 1rem;
    border: 1px solid #ccc;
    background-color: #eee;
    font-size: 90%;
    line-height: 130%;
    padding: 0 1rem;
}

#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; }

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

#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 {
    border: 1px solid #ccc;
    border-bottom: none;
    background-color: #eee;
    width: 100%; }

#footer .vert {
    margin: 0px 10px; }

.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; }