.bluebutton
{
    display: inline-block;
    background-color: #4285F4;
    padding: 6px 16px 4px 16px;
    color: white !important;
    border: none;
    border-radius: 5px;
    text-decoration: none;
    font-family: sans-serif;
    box-shadow: 1px 1px 3px gray;
    margin: 4px 4px 4px 0;
}

.fig214 {
    width: 214px;
}

.figcapleft {
    text-align: left;
}

figcaption
{
    font-size: 0.8em;
}

.row {
    display: flex;
    flex-flow: row wrap;
    justify-content: space-between;
    gap: 20px;
}

.single-row {
    display: flex;
    justify-content: space-evenly;
    gap: 20px;
}

.rowleft {
    display: flex;
    flex-flow: row wrap;
    gap: 8px;
}

@media all and (min-width: 600px) {
    .row > .column {
        flex: 3 0;
        text-align: justify;
        display: flex;
    }
    .rowleft > .column {
        text-align: justify;
    }
}

.coltoppad {
    padding-top: 20px;
}

.footer {
    padding: 32px;
    background: #F7F7F7;
    color: #333333;
}

.footer a {
    color: #337ab7 !important;
}

.book-hint-box {
    padding-top: 12px !important;
}

@media (prefers-color-scheme: dark) {
    .footer {
        background: #333333;
        color: #CCCCCC;
    }

    .footer a {
        color: var(--color-link) !important;
    }
}

body {
    font-family: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", "Liberation Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji" !important;
    line-height: 1.5 !important;
}

.markdown {
    line-height: 1.5 !important;
}

.fig280 {
    width: 280px;
}

.fig280b {
    width: 280px;
    border: 1px solid #CCCCCC;
}

.fig300b {
    width: 300px;
    border: 1px solid #CCCCCC;
}

.fig400 {
    width: 400px;
}

.fig500 {
    width: 500px;
}

.fig600b {
    width: 600px;
    border: 1px solid #CCCCCC;
}

.fig800b {
    width: 800px;
    border: 1px solid #CCCCCC;
}

[id]::before {
    content: "";
    display: block;
    height: 70px; /* Adjust this value to match the height of your navigation bar */
    margin-top: -70px; /* Negative margin to offset the anchor target position */
    visibility: hidden;
}

pre code {
    white-space: pre;
}