.minipage {
    width: auto !important;
}
.enumerate li {
    list-style-type: decimal;
    margin-left: 20px;
}
.enumerate li:first-child {
    margin-top: 5px;
}
.enumerate li:last-child {
    margin-bottom: 10px;
}

.tabular {
    margin-bottom: 20px;
}
.tabular th {
    padding: 10px;
}
.tabular td {
    padding: 10px;
    border-color: #B6B6BB !important;
}
.tabular td p {
    margin: 0;
}

div.illustration {
    float: right;
    padding-left: 20px;
}
div.illustration .illustration {
    width: 100%;
    border-radius: 4px;
}
div.figure {
    display: block;
    float: none;
    margin-left: auto;
    margin-right: auto;
    font-family: "Merriweather", serif;
    font-size: 14px;
    line-height: 24px;
    margin-bottom: 20px;
}
div.figure img {
    filter: var(--problem-statement-figure-filter);
}
div.figure.theme-no-invert img {
    filter: var(--problem-statement-no-invert-filter);
}

div.figure .caption {
    margin-top: 15px;
}

div.description {
    color: var(--blockquote-color);
    font-style: italic;
    font-family: "Merriweather", serif;
    font-size: 12px;
    text-align: right;
    margin-top: 5px;
}

.table-sample, table.sample {
    margin-top: 20px;
}
.table-sample > tbody > tr > th,
.table-sample > tfoot > tr > th,
.table-sample tr > th,
table.sample > tbody > tr > th,
table.sample > tfoot > tr > th,
table.sample tr > th {
    border-top: none;
    font-size: 18px;
    font-weight: 600;
    color: var(--sample-heading-color);
}

table.sample {
    width: 100%;
    margin-bottom: 20px;
    table-layout: fixed;
}
table.sample td,
table.sample th {
    padding: 4px;
    vertical-align: baseline;
    width: 50%;
}
table.sample td pre,
table.sample th pre {
    border-radius: 5px;
    border: solid 1px var(--divider-color-1);
    background-color: var(--containers-background-contrast);
    padding: 14px 13px;
    font-family: Courier, monospace;
    font-variant-ligatures: none;

    max-width: 410px;
    position: relative;
    overflow: auto;
}
table.sample th {
    font-family: "Merriweather", serif;
}
table.sample td {
    position: relative;
}
table.sample td .copy-to-clipboard {
    display: block;
    position: absolute;
    right: 18px;
    top: 26px;
}

.copy-to-clipboard {
    filter: var(--clipboard-icon-filter);
    cursor: pointer;
    color: #a0a0a1;
    height: 1em;
    width: 1em;
}

.copy-to-clipboard:hover {
    opacity: 1;
    color: #606061;
}

div.sampleinteractionread {
    width: 60%;
    margin: 3px 0px 3px 0px;
}
div.sampleinteractionread pre {
    margin: 1px 5px 1px 5px;

    border-radius: 5px;
    border: solid 1px var(--divider-color-1);
    background-color: var(--containers-background-contrast);
    padding: 14px 13px;
    font-family: Courier, monospace;
    font-variant-ligatures: none;
}
div.sampleinteractionwrite {
    width: 60%;
    margin: 3px 0px 3px 0px;
    margin-left: auto;
}
div.sampleinteractionwrite pre {
    margin: 1px 5px 1px 5px;

    border-radius: 5px;
    border: solid 1px var(--divider-color-1);
    background-color: var(--containers-background-contrast);
    padding: 14px 13px;
    font-family: Courier, monospace;
    font-variant-ligatures: none;
}

.problembody {
    line-height: 24px;
    font-family: 'Merriweather', serif;
    margin-top: 15px;
}

.problembody h2 {
    padding: 0;
    line-height: 1.53;
    font-size: 20px;
    margin-bottom: 10px;
    font-family: 'Merriweather', serif;
    font-weight: 600;
}

.problembody dd {
    display: inline;
    margin: 0 0 0 40px;
    float: none;
    padding: 5px 0;
}

.description:after {
    content: '';
    display: table;
    clear: both;
}

div.problembody {
    text-align: justify;
}

.problembody dt {
    float: left;
    clear: left;
    margin: 0;
    padding: 7px 7px 0 0;
}
.problembody ul {
    padding-left: 40px;
}
.problembody ol {
    padding-left: 20px;
}
.problembody .scshape {
    font-variant: small-caps;
    font-size: 1.1em;
}
.problembody pre {
    overflow-x: auto;
}

.problembody img {
    max-width: 100%;
}

dl.hanging-indent dd {
    margin-left: 40px;
}

blockquote {
    background: var(--blockquote-background);
    font-style: italic;
    font-size: 16px;
    padding: 20px 30px;
    margin-bottom: 20px;
    border-radius: 4px;
    overflow-x: auto;
}
blockquote > div {
    font-size: 14px;
    color: var(--blockquote-color);
}

.MJX-TEX {
    white-space: normal !important;
}
li .MJX-TEX {
    display: inline;
}