@charset "utf-8";

/*
@font-face {
    font-family: 'Programma';
    font-weight: bold;
    src: url('https://www.crockford.com/woff/Programma-Bold.woff2') format('woff2');
}
*/

body {
    background-color: #d9ebfc; /* #a9def9; */
    display: grid;
    gap: 1em;
    grid-template-columns: 14em 1fr;
    padding: 10px;
}

time {
    float: right;
    margin-top: 12pt;
}

h1 {
    margin-top: 12pt;
    margin-bottom: 12pt;
}

h4::before {
    content: "▶ ";
}

h5::before {
    content: "⏵ ";
}

h5 {
    font-size: 100%;
    margin-bottom: 0;
    margin-top: 0;
}

div {
    border: 0;
    margin: 0;
    padding: 0;
}

div.center {
    padding-bottom: 3em;
    padding-left: 3em;
    padding-right: 3em;
    text-align: center;
}
span.black {
    color: black;
    display: inline-block;
    font-family: sans-serif;
    font-size: 100%;
    font-weight: bold;
    padding-bottom: 1em;
    padding-top: 1em;
}
span.white {
    color: white;
    display: inline-block;
    font-family: sans-serif;
    font-size: 100%;
    font-weight: bold;
    padding-bottom: 1em;
    padding-top: 1em;
}
span.key {
    border: 1pt solid black;
    border-radius: 0.5em 0.5em 0.5em 0.5em;
    font-family: "Trebuchet MS", Arial, Helvetica, sans-serif;
    font-weight: normal;
    padding-left: 0.5em;
    padding-right: 0.5em;
}
p.rule {
    font-family: "Trebuchet MS", Futura, "Gill Sans", Arial, Helvetica, sans-serif;
    font-weight: normal;
    margin-left: 1in;
    page-break-inside: avoid;
    text-indent: -2em;
    white-space: pre-line;
}

button {
    border: 1pt solid black;
    color: black;
    font-family: sans-serif;
    font-size: 75%;
    font-weight: bold;
    margin: 0.125em;
    width: 12em;
}
button:hover {
    border-color: white;
    color: white;
}
big {
    font-size: 200%;
}

small {
    font-family: Georgia, Garamond, serif;
    font-weight: 400;
    font-style: normal;
    font-size: 8pt;
    font-weight: normal;
    margin-left: 2pt;
    margin-right: 0.75pt;
}

code, pre, time, tt, h4, sub, sup, script {
    font-family: Programma, mono;
    font-size: 100%;
    font-style: normal;
    font-weight: bold;
}

pre, script {
    margin-left: 1.2em;
    overflow-wrap: anywhere;
    white-space: pre-wrap;
    word-break: break-all;
    word-wrap: anywhere;
}

body, p, i, var, small, code i, pre i, code var, pre var, sub, h5 {
    font-family: Georgia, Garamond, serif;
    font-weight: 400;
    font-style: normal;
    font-weight: normal;
}

i, small, var, code i, pre i, code small, pre small, code var, pre var, h6 {
    font-style: italic;
}

table {
    border: 0;
    border-spacing: 3pt;
    margin: 1em;
}

caption {
    caption-side: top;
    font-weight: bold;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}

th, td {
    border: 2px solid black;
    color: black;
    padding-left: 0.5em;
    padding-right: 0.5em;
}
th {
    background-color: gainsboro;
}
td {
    background-color: white;
}

dt {
    float: left;
    margin-left: 2em;
    width: 4em;
}
dd {
    margin-top: 0.5em;
    margin-left: 6em;
    margin-bottom: 0.5em;
}
img {
    margin: 1em;
}

div div img {
    margin: 0;
}

dfn {
    font-family: "Trebuchet MS", Futura, "Gill Sans", Arial, Helvetica, sans-serif;
    font-style: normal;
    font-weight: normal;
}

a {
    text-decoration: none;
}
a:link {
    color: black;
}
a:visited {
    color: rebeccapurple;
}
a:hover {
    background-color: yellow;
    color: blue;
    text-decoration: underline;
}
a:active {
    color: red;
}

#side div#name {
    background-color: #095881;
    color: white;
    margin: -1em;
    padding: 0.5em;
    text-align: center;
}

#side div#name  a:hover {
    background-color: #78736e;
    color: yellow;
}

#side div#name  a:visited {
    color: white;
}

#side div#name  a:link {
    color: white;
}

#side {
    background-color: #fbf8f4; /*#fefaed;*/
    border: 2pt solid black;
    color: black;
    font-weight: bold;
    padding: 1em;
    border-radius: 0.5em;
}

#side  a:visited {
    color: black;
}

#blog {
    background-color: #fbf8f4; /*#fefaed;*/
    border: 2pt solid black;
    border-radius: 10px;
    padding: 1em;
}

.bar {
    background-color: black;
}