@import url('https://fonts.googleapis.com/css2?family=Noto+Serif+KR:wght@300;400&display=swap');
@import url("https://cdn.jsdelivr.net/gh/wan2land/d2coding/d2coding-full.css");

/* General */

body {
    padding: 0 !important;
}

code {
    vertical-align: text-bottom;
}

dl dd {
    margin-left: 0;
}

div.document {
    width: auto;
    max-width: 1200px;
}

/* Jupyter notebook related overrides */

:root {
    --jp-ui-font-family: 'Noto Serif KR', Georgia, 'Times New Roman', Times, serif !important;
    --jp-content-font-family: 'Noto Serif KR', Georgia, 'Times New Roman', Times, serif !important;
    --jp-code-font-family: 'D2Coding', 'Consolas', 'Menlo', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', monospace !important;
    --jp-content-font-size1: 17px !important;
    --jp-code-font-size: 0.9em !important;
}

.jp-Cell .highlight {
    background: transparent;
}

.jp-Cell pre {
    background: transparent;
}

.jp-Cell .highlight pre {
    margin: 1em 0px;
}

.jp-Notebook {
    font-size: var(--jp-content-font-size1);
}

.jp-InputPrompt {
    font-size: 0.7em !important;
}

.jp-OutputPrompt {
    font-size: 0.7em !important;
}

.jp-Notebook {
    letter-spacing: normal !important;
    line-height: normal !important;
}

/* Media query overrides */

@media screen and (max-width: 875px) {
    div.sphinxsidebar {
        width: 100%;
        margin: 0 !important;
        padding: 0 !important;
    }

    div.sphinxsidebarwrapper {
        padding: 28px 30px !important;
    }

    div.documentwrapper {
        overflow-x: scroll;
    }

    div.body {
        padding: 0 30px 20px;
    }

    body.jp-Notebook div.body {
        margin-left: -30px;
    }

    body.jp-Notebook div.body > section > h1 {
        margin-left: 30px;
    }
}

@media screen and (max-width: 870px) {
    ul, ol {
        margin-left: 30px;
        padding-left: 0 !important;
    }
}