/* --------------------------------------------------------------------------
   Copyleft (C) 2021-2024, Marek Gagolewski <https://www.gagolewski.com/>
   -------------------------------------------------------------------------- */

@import url("fonts/Alegreya-fontspec.css");
@import url("fonts/ubuntu-fontspec.css");

.katex {
    font-size: inherit;
}

h1, h2, h3, h4, h5, h6 {
    font-weight: 700;
    font-family: Alegreya Sans,Roboto Slab,ff-tisa-web-pro,Georgia,Arial,sans-serif;
}

body {
    font-family: Alegreya Sans,Lato,proxima-nova,Helvetica Neue,Arial,sans-serif;
    font-weight: 400;
}

footer p {
    font-size: 75%;
}


.mobile-header, .mobile-header.scrolled {
    box-shadow: none;
    border-bottom: 4px solid var(--color-header-border);
}


figcaption .caption-number {
    font-weight: 600;
    font-style: normal;
    font-size: 90%;
}

figcaption .caption-number::after {
    content: "  ";
}

figcaption, .caption-text {
    text-align: left;
    font-style: italic;
    font-size: 90%;
}

figure img {
    margin: auto;
    max-width: 100%;
    width: 570px;
}

.rst-content div.figure, .rst-content figure  {
    text-align: center;
}

.rst-content div.figure p.caption, .rst-content figure figcaption {
    text-align: left;
}

/* -------------------------------------------------------------------------- */


.proof-type-exercise, .proof-type-example {
    background: var(--color-admonition-background);
    border-radius: .2rem;
    box-shadow: 0 .2rem .5rem rgba(0,0,0,.05),0 0 .0625rem rgba(0,0,0,.1);
    font-size: var(--admonition-font-size);
    margin: 1rem auto;
    overflow: hidden;
    padding: 0 .5rem .5rem;
    page-break-inside: avoid;
    border-left: .2rem solid var(--color-admonition-title);
    border-left-color: var(--color-admonition-title--admonition-todo);
}


.proof-type-exercise > .proof-title::before, .proof-type-example > .proof-title::before {
    background-color: var(--color-admonition-title--admonition-todo);
    -webkit-mask-image: var(--icon-pencil);
    mask-image: var(--icon-pencil);
    mask-repeat: no-repeat;
    content: "";
    height: 1rem;
    left: .5rem;
    position: absolute;
    width: 1rem;
}


.proof-type-exercise .proof-title, .proof-type-example .proof-title {
    font-size: var(--admonition-title-font-size);
    font-weight: 700;
    line-height: 1.3;
    margin: 0 -.5rem .5rem;
    padding: .4rem .5rem .4rem 2rem;
    position: relative;
    background-color: var(--color-admonition-title-background--admonition-todo);
}

.proof-type-exercise .proof-content {
    font-style: italic;
}

p.admonition-title {
    font-weight: 700;
}


/* -------------------------------------------------------------------------- */

table.docutils p {
    white-space: normal;
}

.rst-content table.docutils td, .rst-content table.field-list td, .wy-table td {
    vertical-align: top;
}

/* -------------------------------------------------------------------------- */

p code.notranslate, p code.literal, p tt.literal {
    background: inherit;
    color: inherit;
    font-weight: inherit;
    font-size: inherit;
    border: 0;
    padding: 0;
}

strong.command, strong.program, .rst-content code, .rst-content div[class^="highlight"] pre, .rst-content tt, .rst-content pre, pre, samp, kbd, code {
    font-family: Ubuntu Mono,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,Courier,monospace;
    letter-spacing: -0.15pt;
    font-size: 95%;
/*     font-style: normal; */
}

.rst-content div[class^="highlight"] pre, .rst-content pre, pre {
/*     font-size: 90%; */
/*     font-style: normal; */
}

.rst-content p {
    overflow-wrap: break-word;
}

/* -------------------------------------------------------------------------- */

img.sidebar-logo {
    height: 128px;
    width: 128px;
}

img.round-border {
    border-radius: 100%;
}

img.img-left-align-always {
    float: left;
    margin-right: 16px;
    margin-bottom: 16px;
}

img.img-right-align-always {
    float: right;
    margin-left: 16px;
    margin-bottom: 16px;
}

@media (max-width: 480px) {
    .rst-content img.img-left-align, img.img-left-align {
        display: block;
        margin-left: auto;
        margin-right: auto;
    }

    .rst-content img.img-right-align, img.img-right-align {
        display: block;
        margin-left: auto;
        margin-right: auto;
    }
}

@media not (max-width: 480px) {
    .rst-content img.img-left-align, img.img-left-align {
        float: left;
        margin-right: 16px;
        margin-bottom: 16px;
    }

    .rst-content img.img-right-align, img.img-right-align {
        float: right;
        margin-left: 16px;
        margin-bottom: 16px;
    }
}
