/*!normalize.css v3.0.2 | MIT License | git.io/normalize*/

html {
    font-family: sans-serif;
    -ms-text-size-adjust: 100%;
    -webkit-text-size-adjust: 100%
}

body {
    margin: 0
}

article,
aside,
details,
figcaption,
figure,
footer,
header,
hgroup,
main,
menu,
nav,
section,
summary {
    display: block
}

audio,
canvas,
progress,
video {
    display: inline-block;
    vertical-align: baseline
}

audio:not([controls]) {
    display: none;
    height: 0
}

[hidden],
template {
    display: none
}

a {
    background-color: transparent;
    text-decoration: none;
}

a:active,
a:hover {
    outline: 0
}

abbr[title] {
    border-bottom: 1px dotted
}

b,
strong {
    font-weight: 700
}

dfn {
    font-style: italic
}

mark {
    background: #ff0;
    color: #000
}

small {
    font-size: 80%
}

sub,
sup {
    font-size: 75%;
    line-height: 0;
    position: relative;
    vertical-align: baseline
}

sup {
    top: -.5em
}

sub {
    bottom: -.25em
}

img {
    border: 0
}

svg:not(:root) {
    overflow: hidden
}

figure {
    margin: 1em 40px
}

hr {
    -moz-box-sizing: content-box;
    box-sizing: content-box;
    height: 0
}

pre {
    overflow: auto
}

code,
kbd,
pre,
samp {
    font-family: monospace, monospace;
    font-size: 1em
}

button,
input,
optgroup,
select,
textarea {
    color: inherit;
    font: inherit;
    margin: 0
}

button {
    overflow: visible
}

button,
select {
    text-transform: none
}

button,
html input[type=button],
input[type=reset],
input[type=submit] {
    -webkit-appearance: button;
    cursor: pointer
}

button[disabled],
html input[disabled] {
    cursor: default
}

button::-moz-focus-inner,
input::-moz-focus-inner {
    border: 0;
    padding: 0
}

input {
    line-height: normal
}

input[type=checkbox],
input[type=radio] {
    box-sizing: border-box;
    padding: 0
}

input[type=number]::-webkit-inner-spin-button,
input[type=number]::-webkit-outer-spin-button {
    height: auto
}

input[type=search] {
    -webkit-appearance: textfield;
    -moz-box-sizing: content-box;
    -webkit-box-sizing: content-box;
    box-sizing: content-box
}

input[type=search]::-webkit-search-cancel-button,
input[type=search]::-webkit-search-decoration {
    -webkit-appearance: none
}

fieldset {
    border: 1px solid silver;
    margin: 0 2px;
    padding: .35em .625em .75em
}

legend {
    border: 0;
    padding: 0
}

textarea {
    overflow: auto
}

optgroup {
    font-weight: 700
}

.col,
.row,
.top,
.left,
.bottom,
.right,
.center,
.middle,
.justify,
.vjustify {
    display: flex;
    flex-direction: column;
    justify-content: flex-start;
    align-items: flex-start;
    position: relative
}

.col.col>* {
    margin-left: 0
}

.row.row>* {
    margin-top: 0
}

.col {
    flex-direction: column
}

.row {
    flex-direction: row
}

.top:not(.row),
.row.left {
    justify-content: flex-start
}

.bottom:not(.row),
.row.right {
    justify-content: flex-end
}

.middle:not(.row),
.row.center {
    justify-content: center
}

.vjustify:not(.row),
.row.justify {
    justify-content: space-between
}

.left:not(.row),
.row.top {
    align-items: flex-start
}

.right:not(.row),
.row.bottom {
    align-items: flex-end
}

.center:not(.row),
.row.middle {
    align-items: center
}

.justify:not(.row),
.row.vjustify {
    align-items: stretch
}

.col.gap-1>* {
    margin-top: .4rem
}

.row.gap-1>* {
    margin-left: .4rem
}

.col.gap-2>* {
    margin-top: .66rem
}

.row.gap-2>* {
    margin-left: .66rem
}

.col.gap-3>* {
    margin-top: 1rem
}

.row.gap-3>* {
    margin-left: 1rem
}

.col.gap-4>* {
    margin-top: 1.65rem
}

.row.gap-4>* {
    margin-left: 1.65rem
}

.col.gap-5>* {
    margin-top: 2.72rem
}

.row.gap-5>* {
    margin-left: 2.72rem
}

.col.gap-0>* {
    margin-top: 0
}

.row.gap-0>* {
    margin-left: 0
}

.row>*:first-child,
.col>*:first-child {
    margin-top: 0;
    margin-left: 0
}

.fill-1,
.fill {
    flex: 1 0 0
}

.fill-2 {
    flex: 2 0 0
}

.fill-3 {
    flex: 3 0 0
}

.fill-4 {
    flex: 4 0 0
}

.fill-5 {
    flex: 5 0 0
}

.fill-6 {
    flex: 6 0 0
}

.pop-top,
.pop-bottom {
    position: absolute;
    left: 50%;
    transform: translate(-50%, 0)
}

.pop-bottom {
    top: 100%
}

.pop-top {
    bottom: 100%
}

.pop-left,
.pop-right {
    position: absolute;
    top: 50%;
    transform: translate(0, -50%)
}

.pop-left {
    right: 100%
}

.pop-right {
    left: 100%
}

.page {
    min-height: 100vh
}

.cover {
    position: absolute;
    top: 0;
    bottom: 0;
    left: 0;
    right: 0
}

@media only screen and (max-width:874px) {
    .xl-only {
        display: none
    }
}

@media only screen and (min-width:875px) {
    .xl-col,
    .xl-row,
    .xl-top,
    .xl-left,
    .xl-bottom,
    .xl-right,
    .xl-center,
    .xl-middle,
    .xl-justify,
    .xl-vjustify {
        display: flex;
        flex-direction: column;
        justify-content: flex-start;
        align-items: flex-start;
        position: relative
    }
    .xl-col.xl-col>* {
        margin-left: 0
    }
    .xl-row.xl-row>* {
        margin-top: 0
    }
    .xl-col {
        flex-direction: column
    }
    .xl-row {
        flex-direction: row
    }
    .xl-top:not(.xl-row),
    .xl-row.xl-left {
        justify-content: flex-start
    }
    .xl-bottom:not(.xl-row),
    .xl-row.xl-right {
        justify-content: flex-end
    }
    .xl-middle:not(.xl-row),
    .xl-row.xl-center {
        justify-content: center
    }
    .xl-vjustify:not(.xl-row),
    .xl-row.xl-justify {
        justify-content: space-between
    }
    .xl-left:not(.xl-row),
    .xl-row.xl-top {
        align-items: flex-start
    }
    .xl-right:not(.xl-row),
    .xl-row.xl-bottom {
        align-items: flex-end
    }
    .xl-center:not(.xl-row),
    .xl-row.xl-middle {
        align-items: center
    }
    .xl-justify:not(.xl-row),
    .xl-row.xl-vjustify {
        align-items: stretch
    }
    .xl-col.xl-gap-1>* {
        margin-top: .4rem
    }
    .xl-row.xl-gap-1>* {
        margin-left: .4rem
    }
    .xl-col.xl-gap-2>* {
        margin-top: .66rem
    }
    .xl-row.xl-gap-2>* {
        margin-left: .66rem
    }
    .xl-col.xl-gap-3>* {
        margin-top: 1rem
    }
    .xl-row.xl-gap-3>* {
        margin-left: 1rem
    }
    .xl-col.xl-gap-4>* {
        margin-top: 1.65rem
    }
    .xl-row.xl-gap-4>* {
        margin-left: 1.65rem
    }
    .xl-col.xl-gap-5>* {
        margin-top: 2.72rem
    }
    .xl-row.xl-gap-5>* {
        margin-left: 2.72rem
    }
    .xl-col.xl-gap-0>* {
        margin-top: 0
    }
    .xl-row.xl-gap-0>* {
        margin-left: 0
    }
    .xl-row>*:first-child,
    .xl-col>*:first-child {
        margin-top: 0;
        margin-left: 0
    }
    .xl-fill-1,
    .xl-fill {
        flex: 1 0 0
    }
    .xl-fill-2 {
        flex: 2 0 0
    }
    .xl-fill-3 {
        flex: 3 0 0
    }
    .xl-fill-4 {
        flex: 4 0 0
    }
    .xl-fill-5 {
        flex: 5 0 0
    }
    .xl-fill-6 {
        flex: 6 0 0
    }
    .xl-pop-top,
    .xl-pop-bottom {
        position: absolute;
        left: 50%;
        transform: translate(-50%, 0)
    }
    .xl-pop-bottom {
        top: 100%
    }
    .xl-pop-top {
        bottom: 100%
    }
    .xl-pop-left,
    .xl-pop-right {
        position: absolute;
        top: 50%;
        transform: translate(0, -50%)
    }
    .xl-pop-left {
        right: 100%
    }
    .xl-pop-right {
        left: 100%
    }
    .xl-page {
        min-height: 100vh
    }
    .xl-cover {
        position: absolute;
        top: 0;
        bottom: 0;
        left: 0;
        right: 0
    }
}

highlight table td {
    padding: 5px
}

.highlight table pre {
    margin: 0
}

.highlight .cm {
    color: #998;
    font-style: italic
}

.highlight .cp {
    color: #999;
    font-weight: 700
}

.highlight .c1 {
    color: #998;
    font-style: italic
}

.highlight .cs {
    color: #999;
    font-weight: 700;
    font-style: italic
}

.highlight .c,
.highlight .cd {
    color: #998;
    font-style: italic
}

.highlight .err {
    color: #a61717;
    background-color: #e3d2d2
}

.highlight .gd {
    color: #000;
    background-color: #fdd
}

.highlight .ge {
    color: #000;
    font-style: italic
}

.highlight .gr {
    color: #a00
}

.highlight .gh {
    color: #999
}

.highlight .gi {
    color: #000;
    background-color: #dfd
}

.highlight .go {
    color: #888
}

.highlight .gp {
    color: #555
}

.highlight .gs {
    font-weight: 700
}

.highlight .gu {
    color: #aaa
}

.highlight .gt {
    color: #a00
}

.highlight .kc {
    color: #000;
    font-weight: 700
}

.highlight .kd {
    color: #000;
    font-weight: 700
}

.highlight .kn {
    color: #000;
    font-weight: 700
}

.highlight .kp {
    color: #000;
    font-weight: 700
}

.highlight .kr {
    color: #000;
    font-weight: 700
}

.highlight .kt {
    color: #458;
    font-weight: 700
}

.highlight .k,
.highlight .kv {
    color: #000;
    font-weight: 700
}

.highlight .mf {
    color: #099
}

.highlight .mh {
    color: #099
}

.highlight .il {
    color: #099
}

.highlight .mi {
    color: #099
}

.highlight .mo {
    color: #099
}

.highlight .m,
.highlight .mb,
.highlight .mx {
    color: #099
}

.highlight .sb {
    color: #d14
}

.highlight .sc {
    color: #d14
}

.highlight .sd {
    color: #d14
}

.highlight .s2 {
    color: #d14
}

.highlight .se {
    color: #d14
}

.highlight .sh {
    color: #d14
}

.highlight .si {
    color: #d14
}

.highlight .sx {
    color: #d14
}

.highlight .sr {
    color: #009926
}

.highlight .s1 {
    color: #d14
}

.highlight .ss {
    color: #990073
}

.highlight .s {
    color: #d14
}

.highlight .na {
    color: teal
}

.highlight .bp {
    color: #999
}

.highlight .nb {
    color: #0086b3
}

.highlight .nc {
    color: #458;
    font-weight: 700
}

.highlight .no {
    color: teal
}

.highlight .nd {
    color: #3c5d5d;
    font-weight: 700
}

.highlight .ni {
    color: purple
}

.highlight .ne {
    color: #900;
    font-weight: 700
}

.highlight .nf {
    color: #900;
    font-weight: 700
}

.highlight .nl {
    color: #900;
    font-weight: 700
}

.highlight .nn {
    color: #555
}

.highlight .nt {
    color: navy
}

.highlight .vc {
    color: teal
}

.highlight .vg {
    color: teal
}

.highlight .vi {
    color: teal
}

.highlight .nv {
    color: teal
}

.highlight .ow {
    color: #000;
    font-weight: 700
}

.highlight .o {
    color: #000;
    font-weight: 700
}

.highlight .w {
    color: #bbb
}

html,
body {
    color: #303030;
    background-color: #fff;
    font-family: "neutral 2", Times, serif;
    font-size: 15px
}

.main-header {
    display: inline-block
}

a {
    color: inherit;
    transition: 100ms color linear, 100ms border-color linear;
    text-decoration-line: none;
}

a:hover {
    color: #2691ef
}


h1,
h2,
strong {
    font-size: 1rem
}

blockquote {
    border-left: 4px solid rgba(48, 48, 48, .18);
    padding-left: 1.65rem
}

a,
h1,
h2,
h3,
h4,
p,
ul,
ol,
pre,
hr,
.logo,
blockquote {
    margin: 0
}

h2 {
    padding-top: 1.65rem
}

.main {
    max-width: 650px;
    margin: 0 auto;
    padding: 1rem
}

@media only screen and (min-width:875px) {
    .main {
        padding: 6.5rem 1rem
    }
}

.faded {
    color: rgba(48, 48, 48, .4);
    font-style: italic;
    font-weight: 700
}

p,
ul,
ol,
h1,
h2,
.article {
    line-height: 1.9
}

ul,
ol {
    padding-left: 1.5em
}

.footnotes {
    font-size: .9em
}

.footnotes li {
    margin-top: 1rem
}

img {
    max-width: 100%;
    margin: 0 auto;
    display: block
}

.logo {
    display: block;
    border-bottom: none;
    width: 150px
}

@media only screen and (min-width:875px) {
    .logo {
        position: absolute;
        right: 100%;
        top: 2px;
        margin-right: 1.65rem
    }
}

a.logo {
    opacity: .3;
    transition: 100ms opacity linear
}

a.logo:hover {
    opacity: 1
}

@media only screen and (min-width:875px) {
    .logo.for-article {
        bottom: 4px;
        top: auto
    }
}

pre {
    padding: 1rem 0;
    line-height: 1.6;
    border: 1px dashed rgba(48, 48, 48, .18);
    border-width: 1px 0
}

code {
    padding: .2em .3em;
    background-color: #f6f6f6;
    font-family: Monaco, source code pro, monospace;
    font-size: .85rem
}

pre>code {
    background-color: transparent;
    padding: 0
}


hr {
    border: none;
    border-top: 1px dashed rgba(48, 48, 48, .18)
}

.date {
    min-width: 60px;
    text-align: right
}

.contents {
    border: 1px solid #ccc;
    padding: 1rem;
    align-self: flex-start
}

.contents>h2 {
    padding: 0
}


h1 {
    font-size: 2em;
}

h2 {
    font-size: 1.5em;
}

h3 {
    font-size: 1em;
}

h4,th {
    font-size: 1em;
    color: dimgray;
}

table,th,td {
    border-spacing: 10px;
    text-align: left;
}

p a,h4 a,li a { 
    text-decoration-line: underline;
    text-decoration-style: dotted;
}