/**
 * -------------------------------------------------------------------------
 *  Micro Reset
 * -------------------------------------------------------------------------
 */

*, *:before, *:after {
    box-sizing: inherit;
}

html {
    box-sizing: border-box;
    font-size: 100%;
    -webkit-text-size-adjust: none;
            text-size-adjust: none;
}

body {
    margin: 0;
    padding: 0;
}

form, fieldset, legend {
    margin: 0;
    padding: 0;
}

button, input, select, textarea, label {
    margin: 0;
    padding: 0;
    font-family: inherit;
    font-size: inherit;
}

img {
    border: 0;
    max-width: 100%;
}

/**
 * -------------------------------------------------------------------------
 *  Typography
 * -------------------------------------------------------------------------
 */

body {
    font-size: 17px;
    color: black;
    font-family: 'Crimson Text', Georgia, serif;
    line-height: 1.75;
}

h1 {
    padding: 0;
    margin: 80px 0 30px;
    line-height: 1.25;
    text-align: center;
    font-size: 32px;
    font-weight: normal;
}

h2 {
    padding: 0;
    margin: 80px 0 30px;
    line-height: 1.25;
    text-align: center;
    font-size: 22px;
    font-weight: bold;
}

h2.underline {
    padding: 0;
    margin: 80px 0 35px;
    line-height: 1.25;
    text-align: left;
    font-size: 22px;
    font-weight: bold;
    padding-bottom: 5px;
    border-bottom: 1px solid #ccc;
}

h3, h4, h5, h6 {
    padding: 0;
    margin: 80px 0 30px;
    line-height: 1.25;
    text-align: left;
    font-size: 19px;
    font-weight: bold;
}

p {
    margin: 25px 0;
    padding: 0;
    overflow-wrap: break-word;
}

blockquote {
    margin: 40px 0px;
    padding: 0 20px;
    border-left: 3px solid #ddd;
    font-style: italic;
}

.blockquote-caption {
    margin: -10px 20px 40px;
    text-align: right;
}

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

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

sup {
    bottom: 1.5ex;
    padding: 0 0.5ex;
}

sub {
    top: .5ex;
}

/**
 * Code
 */

pre, code {
    font-size: 13px;
    font-family: Courier, monospace;
}

code {
    margin: 0 2px;
    padding: 1px 5px;
    white-space: nowrap;
    border: 1px solid #e8e8e8;
    border-radius: 3px;
    background-color: #f8f8f8;
}

pre {
    margin: 40px 0;
    padding: 16px 20px;
    border-top: 1px dotted #bbb;
    border-bottom: 1px dotted #bbb;
    background-color: #f8f8f8;
    overflow: auto;
    line-height: 1.4;
}

/* Markdown renderers tend to wrap code blocks in <pre><code> ... </code></pre> blocks. */
pre code {
    margin: 0;
    padding: 0;
    white-space: pre;
    border: none;
    border-radius: 0;
    background-color: #f8f8f8;
}

h1 code {
    font-size: 26px;
}

dt pre {
    margin: 0 2px;
    padding: 1px 5px;
    border: 1px solid #e8e8e8;
    border-radius: 3px;
    background-color: #f8f8f8;
}

.pre-copy-wrapper {
    position: relative;
}

.pre-copy-wrapper button {
    padding: 6px;
    background: transparent;
    border: none;
    position: absolute;
    top: 10px;
    right: 10px;
    opacity: 0.3;
    cursor: pointer;
    color: black;
    font-size: 12px;
    font-family: Consolas, monospace;
    display: none;
}

.pre-copy-wrapper:hover button {
    display: block;;
}

.pre-copy-wrapper button:hover {
    opacity: 0.6;
}


/**
 * Lists
 */

ul, ol {
    margin: 35px 0;
    padding: 0 0 0 20px;
}

ul ul, ol ol, ul ol, ol ul {
    margin: 10px 10px;
}

li {
    margin: 4px 0;
    padding: 0;
}

dl {
    margin: 40px 0;
    padding: 0;
}

dt {
    margin: 45px 0 25px;
    padding: 0;
    font-weight: bold;
}

dd {
    margin: 25px 0px;
    padding: 0 25px;
    border-left: 1px solid #ddd;
}

/**
 * Links
 */

a {
    color: black;
    text-decoration: none;
    padding-bottom: 2px;
    border-bottom: 1px solid;
}

sup a {
    border-bottom: none;
}

dt a {
    padding-bottom: 0;
}


/**
 * Miscellanea
 */

hr {
    display: block;
    height: 1px;
    border: 0;
    border-top: 1px solid;
    margin: 60px auto;
    padding: 0;
    max-width: 300px;
}

img {
    margin: 40px auto;
    display: block;
}

/**
 * -------------------------------------------------------------------------
 *  Layout
 * -------------------------------------------------------------------------
 */

body {
    width: 960px;
    margin: 0 auto;
    padding: 40px 0;
}

.masthead {
    width: 360px;
    padding: 20px 50px;
    float: left;
}

.main {
    width: 600px;
    padding: 32px 50px 40px 50px;
    margin-left: 360px;
    border-left: 3px solid black;
    min-height: calc(100vh - 80px);
}

/**
 * -------------------------------------------------------------------------
 *  Masthead
 * -------------------------------------------------------------------------
 */

.masthead h1 {
    margin-top: 0;
    margin-bottom: 34px;
    padding: 0;
    text-align: right;
    font-size: 46px;
    line-height: 58px;
}

.masthead h1 a {
    border-bottom: none;
}

.masthead .tagline {
    font-style: italic;
    text-align: right;
}

.masthead .version {
    font-style: italic;
    text-align: right;
}

.masthead .menu {
    margin-right: 20px;
    direction: rtl;
}

.masthead .menu a {
    direction: ltr;
}

.masthead .menu ul ul {
    list-style: none;
    margin-left: 10px;
    margin-right: 10px;
}

.masthead .menu li li::before {
    content: "•\00a\000a0\00a0"
}

#menu-check {
    display: none;
}

#menu-label {
    display: none;
}

/**
 * -------------------------------------------------------------------------
 *  Main
 * -------------------------------------------------------------------------
 */

.main .title h1 {
    margin-top: 0;
    margin-bottom: 40px;
}

.main .title .subtitle {
    font-style: italic;
    text-align: center;
    width: 90%;
    margin-left: auto;
    margin-right: auto;
}

.main .title hr {
    margin: 50px auto 60px;
}

.main > :last-child {
    margin-bottom: 0;
}

/**
 * Info Boxes
 */

.infobox, .alertbox {
    margin: 40px 20px;
    border: 1px solid;
    padding: 0 25px;
    border-radius: 3px;
    border-color: #bbb;
    background-color: #f8f8f8;
}

.infobox.blue, .alertbox.info {
    border-color: #bac6d3;
    background-color: #e2eef9;
}

.infobox.yellow, .alertbox.warning {
    border-color: #dfd8c2;
    background-color: #fff9ea;
}

.infobox.red, .alertbox.error {
    border-color: #d2b2b2;
    background-color: #fcdede;
}

.infobox.green, .alertbox.success {
    border-color: #B2C2AB;
    background-color: #DEF2D6;
}

/**
 * Footnotes
 */

 .footnote a::before {
     content: "[";
 }

 .footnote a::after {
     content: "]";
 }

 .footnote a {
     border: none;
 }

 .footnotes dt {
     display: table-cell;
     width: 30px;
     text-align: right;
     font-weight: normal;
 }

 .footnotes dt a {
     padding: 0;
     border: none;
 }

 .footnotes dt a::before {
     content: "[";
 }

 .footnotes dt a::after {
     content: "]";
 }

 .footnotes dd {
     display: table-cell;
     padding-left: 20px;
     padding-right: 0px;
     border: none
 }

 .footnotes dd :first-child {
     margin-top: 0;
 }

 .footnotes div:last-child dd :last-child {
     margin-bottom: 0;
 }

 .footnotes pre {
     margin: 30px 0;
 }

/**
 * Tables
 */

table {
    font-size: 16px;
    border-collapse: collapse;
    border-spacing: 0;
    margin: 50px 0px;
    width: 100%;
}

thead, tfoot {
    background-color: #f8f8f8;
}

th, td {
    border: 1px solid #ccc;
    padding: 14px 20px;
    text-align: left;
}

/**
 * Utility Styles
 */

.small {
    font-size: 16px;
}

.left {
    text-align: left;
}

.right {
    text-align: right;
}

.center {
    text-align: center;
}

.justify {
    text-align: justify;
}

.bold {
    font-weight: bold;
}

.italic {
    font-style: italic;
}

.indent {
    padding-left: 30px;
    padding-right: 30px;
}

.unselectable {
    -webkit-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
}

/**
 * Custom Classes
 */

body.extra-deflist-vspace dt {
    margin-top: 80px;
}

/**
 * -------------------------------------------------------------------------
 *  Media Queries
 * -------------------------------------------------------------------------
 */

/* Tablet screens and smaller. */

@media screen and (max-width: 960px) {
    body {
        width: auto;
        max-width: 680px;
        padding-top: 60px;
    }

    .masthead {
        width: auto;
        float: none;
        padding: 60px 20px 60px 20px;
        text-align: center;
        margin-left: 40px;
        margin-right: 40px;
        border-top: 3px solid black;
        border-bottom: 3px solid black;
    }

    .main {
        width: auto;
        padding: 40px 40px;
        margin-left: 0;
        border-left: none;
        min-height: auto;
    }

    .masthead h1 {
        text-align: center;
    }

    .masthead .tagline {
        text-align: center;
        max-width: 450px;
        margin-left: auto;
        margin-right: auto;
        display: none;
    }

    .homepage .masthead .tagline {
        display: block;
    }

    .masthead .version {
        text-align: center;
    }

    .masthead .menu {
        direction: ltr;
        max-width: 300px;
        margin-left: auto;
        margin-right: auto;
    }

    .masthead .menu ul {
        text-align: left;
        margin: 0;
        padding: 0;
    }

    .masthead .menu ul ul {
        margin: 0;
    }

    .masthead .menu li {
        border-bottom: 1px solid;
        list-style: none;
        margin: 0;
        padding: 0;
    }

    .masthead .menu li:first-child {
        border-top: 1px solid;
    }

    .masthead .menu li li:last-child {
        border-bottom: none;
    }

    .masthead .menu a {
        display: block;
        padding: 15px 20px;
        border-bottom: none;
    }

    .masthead .menu li li a {
        padding-left: 30px;
    }

    .masthead .menu li li::before {
        content: none;
    }

    .masthead .menu li li a::before {
        content: "•\00a0\00a0\00a0";
    }

    #menu-label {
        display: inline-block;
        padding: 0 20px;
        height: 50px;
        border: 1px solid #ddd;
        cursor: pointer;
        line-height: 50px;
        color: #333;
        font-size: 20px;
        margin-top: 10px;
    }

    #menu-label:hover, #menu-label:focus {
        border: 1px solid #888;
    }

    #menu-label .icon {
        padding-right: 8px;
        width: 30px;
    }

    #menu-check ~ label .close-icon {
        display: none;
    }

    #menu-check ~ label .open-icon {
        display: inline-block;
    }

    #menu-check:checked ~ label .close-icon {
        display: inline-block;
    }

    #menu-check:checked ~ label .open-icon {
        display: none;
    }

    #menu-check ~ ul {
        display: none;
    }

    #menu-check:checked ~ ul {
        display: block;
        margin-top: 50px;
        margin-bottom: 0;
    }
}

/* Landscape phone screens and smaller. */

@media screen and (max-width: 720px) {
}

/* Portrait phone screens. */

@media screen and (max-width: 480px) {
    body {
        font-size: 16px;
        padding-top: 40px;
    }

    h1 {
        font-size: 28px;
    }

    h2 {
        font-size: 18px;
    }

    h3, h4, h5, h6 {
        font-size: 16px;
    }

    h1 code {
        font-size: 24px;
    }

    pre, code {
        font-size: 12px;
    }

    .pre-copy-wrapper button {
        font-size: 11px;
    }

    .small {
        font-size: 15px;
    }

    .main .title .subtitle {
        width: auto;
    }
}
