body {
        margin: 40px auto;
        width: 800px;
        max-width: 100%;
        line-height: 1.4;
        background: white;
        color: #331313;
        padding: 0 10px;
        font-size: 16px;
        line-height: 25px;
        font-family: -apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";
}
@media (prefers-color-scheme: dark) {
    body {
        background-color: #0d1116;
        color: #e6edf3;
    }

    .src, .example {
        background: white;
        color: #331313;
        filter: invert();
    }
}

/* --------------------------------------------------- */
/* Make a nice input form with rounded corners and hover
 animations*/
/* --------------------------------------------------- */
input {
        padding: 10px 16px;
        margin: 2px 0;
        box-sizing: border-box;
        border: 2px solid #dabebe;
        border-radius: 6px;
        background: #fffff4;
        color: #3a1616;
        font-size: 16px;
        -webkit-transition: 0.5s;
        transition: 0.5s;
        outline: none;
}
input:focus {
        border: 2px solid #3a1616;
}

/* --------------------------------------- */
/* The button is very similar to the input */
/* --------------------------------------- */
.button {
        background-color: #fffff4;
        border: none;
        color: black;
        padding: 6px 14px;
        text-align: center;
        text-decoration: none;
        display: inline-block;
        font-size: 16px;
        margin: 4px 2px;
        transition-duration: 0.4s;
        cursor: pointer;
        border: 2px solid #3a1616;
        border-radius: 6px;
}
.button:hover {
        background-color: #3a1616;
        color: white;
}

/* ----------------------------------------------- */
/* Various classes for messages of different kinds */
/* ----------------------------------------------- */
.isa_info,
.isa_success,
.isa_warning,
.isa_error {
        width: 90%;
        margin: 10px 0px;
        padding: 12px;
}
.isa_info {
        color: #00529b;
        background-color: #bde5f8;
}
.isa_success {
        color: #4f8a10;
        background-color: #dff2bf;
}
.isa_warning {
        color: #9f6000;
        background-color: #feefb3;
}
.isa_error {
        color: #d8000c;
        background-color: #ffd2d2;
}

h1 {
        line-height: 1.2;
        font-style: italic;
        font-weight: normal;
}

h2 {
    padding-bottom: 0.3em;
    margin-top: 2em;
    font-size: 1.5em;
    border-bottom: 1px solid hsla(210,18%,87%,1);
}

h3 {
    line-height: 1.2;
}

img {
    width: 500px;
    max-width: 100%;
    border-radius: 10px;
    text-align: center;
}

/* --------------------------------------------- */
/* Bold hover animations on links and clickables */
/* --------------------------------------------- */
a {
    cursor: pointer;
    color: #217ab7;
    line-height: inherit;
    transition: .14s;
}
a:hover {
    color: white;
    background-color: #3297d3;
}
a:visited {
    color: #43458b;
    border-color: #43458b;
}
a:visited:hover {
    color: white;
    background-color: #9251ac;
}

pre {
    background-color: #fafafa;
}