/* body */
body {
    position: relative;
    min-height: calc(100vh - 1em);
    margin: 0;
    padding: .5em;
    font-family: sans-serif;
}
/* header + header-content */
header {
    border-radius: .4em .4em 0em 0em;
    padding: .4em 2% .4em 2%;
    margin: 0;
    background-image: linear-gradient(110deg, #06608f 50%, #1270af 65%, #06608f 80%);
    color: #ffffff;
}
header a {
    text-decoration: none;
    color: inherit;
}
header img {
    display: inline-block;
    height: 8ex;
    margin: .4em;
    filter: invert(100%);
}
header div.title {
    font-size: 200%;
    font-weight: bold;
    display: inline-block;
    margin: .2em;
    padding: 0em;
    vertical-align: text-bottom;
}
/* navigation */
body>nav, footer {
    padding: .2em;
    background-color: #101010;
    color: #ffffff;
    font-weight: bold;
}
body>nav {
    margin: 0;
}
body>nav.navlast {
    border-radius: 0em 0em .4em .4em;
}
body>nav.nav1 {
    font-size: 90%;
    color: #000000;
    background-color: #e0e0e0;
}
footer {
    position: absolute;
    border-radius: .4em;
    bottom: .5em;
    left:   .5em;
    right:  .5em;
}
body>nav>ul, footer>ul{
    margin: .2em;
    padding: 0 2% 0 2%;
}
body>nav>ul>li, footer>ul>li {
    display: inline-block;
    margin: .3em;
}
body>nav a, footer a {
    text-decoration: none;
    color: #e0e0e0;
}
body>nav a:hover, footer a:hover, body>nav a.active, footer a.active {
    color: #ffffff;
}
body>nav.nav1 a {
    color: #606060;
}
body>nav.nav1 a:hover, body>nav.nav1 a.active {
    color: #000000;
}
/* content */
main {
    padding-left:  5%;
    padding-right: 5%;
    padding-top:    .5em;
    padding-bottom: 4rem;
    line-height: 125%;
}
main nav {
    display: inline-block;
    background: #f8f8f8;
    margin: 1.4em 0 .4em 0;
    padding: 1.5em 1.5em .8em 1.5em;
    border-radius: .4em;
    border-style: solid;
    border-color: #808080;
    border-width: 0.1em;
}
main nav ul {
    padding: .4em .4em .4em 1.0em;
    margin: 0 0 .4em 0;
    list-style-type: disc;
}
main nav a {
    text-decoration: none;
    color: #1270af;
}
main nav a.active {
    font-weight: bold;
}
main nav a:hover {
    text-decoration: underline;
}
article a {
    text-decoration: none;
    color: #06608f;
}
article a:hover {
    text-decoration: underline;
}
main a.headerlink {
    width: 1.2em;
    height: 0.7em;
    vertical-align: middle;
    margin-left: -1.2em;
    float: left;
    background-repeat: no-repeat;
    background-size: 0.90em 0.60em;
    background-position: left center;
    background-origin: padding-box;
    background-image: url('data:image/svg+xml,%3Csvg xmlns:svg="http://www.w3.org/2000/svg" xmlns="http://www.w3.org/2000/svg" width="180" height="120" version="1.1"%3E %3Cpath style="fill:%23000000;stroke:none;" d="M 42 0 C 19 0 0 19 0 42 L 0 48 C 0 71 19 90 42 90 L 48 90 C 47 86 46 82 46 78 C 27 78 12 63 12 45 C 12 27 27 12 46 12 L 74 12 C 93 12 108 27 108 45 C 108 59 98 71 86 76 C 87 80 88 84 91 88 C 109 83 120 67 120 48 L 120 42 C 120 19 101 0 78 0 L 42 0 z M 132 30 C 133 34 134 38 134 42 C 153 42 168 57 168 75 C 168 93 153 108 134 108 L 106 108 C 87 108 72 93 72 75 C 72 61 82 49 94 44 C 93 40 92 36 89 32 C 71 37 60 53 60 72 L 60 78 C 60 101 79 120 102 120 L 138 120 C 161 120 180 101 180 78 L 180 72 C 180 49 161 30 138 30 L 132 30 z " /%3E %3C/svg%3E ');
    display: none;
}
main h1:hover a.headerlink,
main h2:hover a.headerlink,
main h3:hover a.headerlink,
main h4:hover a.headerlink,
main h5:hover a.headerlink,
main h6:hover a.headerlink {
    display: initial;
}
article code {
    font-family: monospace;
    background: #f8f8f8;
    padding: 0.1em;
    border-radius: .5em;
    border-style: solid;
    border-color: #e0e0e0;
    border-width: 0.1em;
}
article pre>code {
    line-height: 125%;
    background: #f8f8f8;
    display: block;
    overflow-x: auto;
    padding: 0.5em;
    border-style: solid;
    border-color: #808080;
    border-width: 0.1em;
    border-radius: .5em;
}
article h1 {
    font-size: 200%;
    padding-bottom: 0.15em;
    padding-top:    0.15em;
    margin-bottom:  0.8em;
    margin-top:     1.2em;
    border-bottom-width: 0.1em;
    border-bottom-color: #808080;
    border-bottom-style: solid;
}
article h2 {
    font-size: 150%;
    padding-bottom: 0.15em;
    margin-bottom:  0.6em;
    margin-top:     1.2em;
    border-bottom-width: 0.06em;
    border-bottom-color: #a0a0a0;
    border-bottom-style: solid;
}
/* external links */
a.external {
    background-repeat: no-repeat;
    background-size: 0.75em 0.75em;
    background-position: center right;
    background-origin: padding-box;
    padding-right: 0.9em;
    background-image: url('data:image/svg+xml,%3Csvg xmlns:svg="http://www.w3.org/2000/svg" xmlns="http://www.w3.org/2000/svg" width="60" height="60" version="1.1"%3E %3Cpath style="fill:%2306608f;stroke:none" d="M 25,0 19,6 28,15 11,32 28,49 45,32 l 9,9 6,-6 V 0 Z M 27,6 H 54 V 33 L 45,24 28,41 19,32 36,15 Z M 7,12 c -4,0 -7,3 -7,7 v 34 c 0,4 3,7 7,7 h 34 c 4,0 7,-3 7,-7 V 42 l -6,-6 v 13 c 0,3 -2,5 -5,5 H 11 C 8,54 6,52 6,49 V 23 c 0,-3 2,-5 5,-5 h 13 l -6,-6 z" /%3E %3C/svg%3E ');
}
body>nav a.external, footer a.external {
    background-image: url('data:image/svg+xml,%3Csvg xmlns:svg="http://www.w3.org/2000/svg" xmlns="http://www.w3.org/2000/svg" width="60" height="60" version="1.1"%3E %3Cpath style="fill:%23e0e0e0;stroke:none" d="M 25,0 19,6 28,15 11,32 28,49 45,32 l 9,9 6,-6 V 0 Z M 27,6 H 54 V 33 L 45,24 28,41 19,32 36,15 Z M 7,12 c -4,0 -7,3 -7,7 v 34 c 0,4 3,7 7,7 h 34 c 4,0 7,-3 7,-7 V 42 l -6,-6 v 13 c 0,3 -2,5 -5,5 H 11 C 8,54 6,52 6,49 V 23 c 0,-3 2,-5 5,-5 h 13 l -6,-6 z" /%3E %3C/svg%3E ');
}
body>nav a.external:hover, footer a.external:hover, body>nav a.external.active, footer a.external.active {
    background-image: url('data:image/svg+xml,%3Csvg xmlns:svg="http://www.w3.org/2000/svg" xmlns="http://www.w3.org/2000/svg" width="60" height="60" version="1.1"%3E %3Cpath style="fill:%23ffffff;stroke:none" d="M 25,0 19,6 28,15 11,32 28,49 45,32 l 9,9 6,-6 V 0 Z M 27,6 H 54 V 33 L 45,24 28,41 19,32 36,15 Z M 7,12 c -4,0 -7,3 -7,7 v 34 c 0,4 3,7 7,7 h 34 c 4,0 7,-3 7,-7 V 42 l -6,-6 v 13 c 0,3 -2,5 -5,5 H 11 C 8,54 6,52 6,49 V 23 c 0,-3 2,-5 5,-5 h 13 l -6,-6 z" /%3E %3C/svg%3E ');
}
body>nav.nav1 a.external {
    background-image: url('data:image/svg+xml,%3Csvg xmlns:svg="http://www.w3.org/2000/svg" xmlns="http://www.w3.org/2000/svg" width="60" height="60" version="1.1"%3E %3Cpath style="fill:%23808080;stroke:none" d="M 25,0 19,6 28,15 11,32 28,49 45,32 l 9,9 6,-6 V 0 Z M 27,6 H 54 V 33 L 45,24 28,41 19,32 36,15 Z M 7,12 c -4,0 -7,3 -7,7 v 34 c 0,4 3,7 7,7 h 34 c 4,0 7,-3 7,-7 V 42 l -6,-6 v 13 c 0,3 -2,5 -5,5 H 11 C 8,54 6,52 6,49 V 23 c 0,-3 2,-5 5,-5 h 13 l -6,-6 z" /%3E %3C/svg%3E ');
}
body>nav.nav1 a.external:hover, body>nav.nav1 a.extern.active {
    background-image: url('data:image/svg+xml,%3Csvg xmlns:svg="http://www.w3.org/2000/svg" xmlns="http://www.w3.org/2000/svg" width="60" height="60" version="1.1"%3E %3Cpath style="fill:%23000000;stroke:none" d="M 25,0 19,6 28,15 11,32 28,49 45,32 l 9,9 6,-6 V 0 Z M 27,6 H 54 V 33 L 45,24 28,41 19,32 36,15 Z M 7,12 c -4,0 -7,3 -7,7 v 34 c 0,4 3,7 7,7 h 34 c 4,0 7,-3 7,-7 V 42 l -6,-6 v 13 c 0,3 -2,5 -5,5 H 11 C 8,54 6,52 6,49 V 23 c 0,-3 2,-5 5,-5 h 13 l -6,-6 z" /%3E %3C/svg%3E ');
}