@font-face {
    font-family: 'Raleway';
    font-style: normal;
    font-weight: 400;
    src: local('Raleway'), local('Raleway-Regular'), url(../../css/fonts/Raleway.woff2) format('woff2');
}

@font-face {
    font-family: 'Computer Modern Serif';
    src: url('../../css/fonts/cmunti.eot');
    src: url('../../css/fonts/cmunti.eot?#iefix') format('embedded-opentype'),
    url('../../css/fonts/cmunti.woff') format('woff'),
    url('../../css/fonts/cmunti.ttf') format('truetype'),
    url('../../css/fonts/cmunti.svg#cmunti') format('svg');
    font-weight: normal;
    font-style: italic;
}

@font-face {
    font-family: 'Source Code Pro';
    font-style: normal;
    font-weight: 400;
    src: local('Source Code Pro'), local('SourceCodePro-Regular'), url('../../css/fonts/SourceCodePro_latinext.woff2') format('woff2');
    unicode-range: U+0100-024F, U+1E00-1EFF, U+20A0-20AB, U+20AD-20CF, U+2C60-2C7F, U+A720-A7FF;
}
@font-face {
    font-family: 'Source Code Pro';
    font-style: normal;
    font-weight: 400;
    src: local('Source Code Pro'), local('SourceCodePro-Regular'), url('../../css/fonts/SourceCodePro_latin.woff2') format('woff2');
    unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2212, U+2215;
}

a {
    color: rgb(0, 102, 204);
    text-decoration: none;
}

a:hover {
    color: rgb(0, 102, 204);
    text-decoration: underline;
}

a:visited {
    color: rgb(0, 102, 204);
    text-decoration: none;
}

blockquote {
    font-family: 'Computer Modern Serif', serif;
    font-style: italic;
    text-align: justify;
    text-indent: 1em;
    padding-left: 3em;
    padding-right: 3em;
    border-left: 1px solid rgb(220, 220, 220);
    border-right: 1px solid rgb(220, 220, 220);
    column-count: 2;
    column-gap: 2em;
    -moz-column-count: 2;
    -moz-column-gap: 2em;
    max-width: 40em;
    margin: 2em auto 0.5em;
}

blockquote > p:first-child {
    margin-top: 0;
}

body {
    font-family: 'Raleway', sans-serif;
    padding-left: 0;
    padding-right: 0;
    padding-bottom: 0;
    line-height: 1.4;
    background-color: rgb(245, 245, 245);
    box-sizing: border-box;
}

cite {
    font-family: 'Garamond', 'Georgia', serif;
    font-size: 1.1em;
    margin: 0.5em auto 2em;
    padding-left: 2.727em;
    padding-right: 2.727em;
    /*border-left: 0.3em solid rgb(220, 220, 220);*/
    max-width: 36.363em;
}

div#contents {
    max-width: 45em;
    margin-left: auto;
    margin-right: auto;
    border-left: 1px solid rgb(235, 235, 235);
    border-right: 1px solid rgb(235, 235, 235);
    border-bottom: 1px solid rgb(235, 235, 235);
    padding: 1em 3em 3em;
    background-color: rgb(255, 255, 255);
}

div.highlight {
    margin-top: 1em;
    overflow: auto;
}

div.highlight > pre {
    float: left;
    min-width: 100%;
}

div#references > ul > li {
    list-style-type: none;
    margin-left: 0;
    margin-right: 0;
}

div#work_in_progress {
    border: 3px dashed rgb(150, 150, 150);
    background: rgb(230, 230, 230);
    font-size: larger;
    padding: 1em;
}

div#work_in_progress > h2 {
    margin-top: 0em;
}

footer {
    text-align: center;
    font-size: small;
    max-width: 45em;
    margin-left: auto;
    margin-right: auto;
    padding: 1em;
}

h1 {
    font-family: 'Raleway', serif;
    clear: both;
    font-size: 1.9em;
    margin-right: 0;
    margin-left: 0;
    margin-bottom: .37em;
    text-align: center;
    font-variant: small-caps;
}

h2,h3,h4,h5 {
    font-family: 'Garamond', 'Georgia', serif;
    clear: both;
}

h2 {
    font-size: 1.8em;
    margin: .75em 0 .45em;
    text-align: center;
    /*font-variant: small-caps;*/
}

h3 {
    font-size: 1.2em;
    margin: .83em 0 .53em;
}

h2:not(:first-of-type) {
    margin-top: 2em;
    border-top: 1px solid rgb(200, 200, 200);
    padding-top: 2em;
}

img {
    margin: 0.5em;
}

img#img_mathlaslogo {
    clear: both;
    margin-left: calc(50% - 176px / 2);
    margin-bottom: 1.5em;
    margin-right: auto;
}

ol>li {
    list-style: lower-roman outside;
    margin-left: 2.5em;
}

p {
    margin-top: 1em;
}

p.figure {
    text-align: center;
}

p.logoblock {
    max-width: 900px;
    margin-left: auto;
    margin-right: auto;
    text-align: center;
}

pre {
    font-family: 'Source Code Pro', monospace;
    font-size: 90%;
}

span.italics {
    font-style: italic;
}

span.marker_current {
    font-size: 70%;
    vertical-align: top;
    color: rgb(180, 180, 180);
}

span.mono {
    font-family: 'Source Code Pro', monospace;
    font-size: 90%;
}

span.normal_caps {
    font-variant: normal;
}

sup {
    font-size: 70%;
    vertical-align: top;
    margin-left: 0.2em;
    margin-right: 0.2em;
}

table.dataframe {
    border: 0;
    margin: 0 auto;
}

table.dataframe > thead {
    border-bottom: 2px solid;
}

table.dataframe td {
    padding: 0.3em;
}

table.dataframe th {
    padding: 0.3em;
}

table.dataframe td:not(:last-of-type) {
    border-right: 1px solid;
}

table.dataframe th:not(:last-of-type) {
    border-right: 1px solid;
}

ul>li {
    margin-top: 0.3em;
    list-style: disc outside;
    margin-left: 3em;
    margin-right: 3em;
}

ul>li>ul>li {
    list-style: square outside;
    margin-left: 2em;
}

cite,div,ol,p,ul {
    display: block;
}

@media all and (max-width: 43em) {
    blockquote {
        column-count: 1;
        -moz-column-count: 1;
        padding-left: 1.5em;
        padding-right: 1.5em;
    }

    body {
        padding-bottom: 2em;
        text-align: justify;
    }

    div#contents {
        padding-left: 1em;
        padding-right: 1em;
    }

    cite {
        padding-left: 1em;
        padding-right: 1em;
        column-count: 1;
        -moz-column-count: 1;
    }

    h1:not(:first-of-type),h2:not(:first-of-type),h3,h4,h5 {
        text-align: left;
    }

    img#img_mathlaslogo {
        clear: both;
        float: none;
        margin-bottom: 1em;
        margin-left: calc(50% - 176px / 2);
        margin-right: auto;
    }

    ul>li {
        margin-left: 1.2em;
        margin-right: 1em;
    }
}