body {
    height: 100%;
    margin: 0 !important;
    padding: 0 !important;
}
.markdown-body pre div.snippet code.hljs {
    display: block;
    white-space: pre-wrap;
}

div.readme {
    margin: 0.5rem;
}

div.snippet {
    position: relative;
}
div.snippet .buttons {
    position: absolute;
    top: 0;
    right: 0;
    opacity: 0;
    transition: opacity 0.3s ease;
    margin-bottom: 0;
}
div.snippet:hover .buttons {
    opacity: 1;
}
.buttons vscode-button {
    margin-left: 0.2rem;
    cursor: pointer;
}
.buttons .ai-disclaimer {
    vertical-align: top;
}
span.logprobs {
    color: white;
    white-space: pre;
    font-family: monospace;
    margin-right: 0.2rem;
    border-radius: 0.2rem;
    cursor: pointer;
}
table.toplogprobs {
    display: inline-block;
    padding: 0;
    margin: 0;
    border: solid 1px grey;
    border-radius: 0.2rem;
}
table.toplogprobs span.logprobs {
    display: block;
    margin-bottom: 0.2rem;
}
table.toplogprobs td {
    border: none;
    padding: 0;
}
.centered {
    position: absolute;
    top: 50%;
    left: 50%;
    transform: translate(-50%, -50%);
}
.dropzone {
    cursor: pointer;
}
.no-margins {
    margin: 0 !important;
}

.vscode-body .markdown-body {
    font-size: var(--vscode-font-size);
}

.vscode-form-wide {
    height: unset;
    min-width: min(100vw - 1.5rem, 65rem);
    max-width: 100vw;
    min-height: 16rem;
}

.vscode-body span.ai-disclaimer {
    font-size: 80%;
    margin: 1rem;
    margin-bottom: 1rem;
    opacity: 0.8;
    font-family: var(--vscode-font-family);
}

vscode-split-layout.trace-split-panel {
    height: 80vh;
}
vscode-split-layout.trace-split-panel vscode-scrollable {
    height: 80vh;
}

.vscode-body details.reasoning {
    border: 1px dashed var(--vscode-editor-foreground);
    padding: 0.5rem;
    border-radius: 0.2rem;
    margin-left: 0;
    margin-bottom: 1.5rem;
}

vscode-tabs.output {
    min-height: 50vh;
}
:root {
    --color-note: #0969da;
    --color-tip: #1a7f37;
    --color-warning: #9a6700;
    --color-severe: #bc4c00;
    --color-caution: #d1242f;
    --color-important: #8250df;
}
@media (prefers-color-scheme: dark) {
    :root {
        --color-note: #2f81f7;
        --color-tip: #3fb950;
        --color-warning: #d29922;
        --color-severe: #db6d28;
        --color-caution: #f85149;
        --color-important: #a371f7;
    }
}

.vscode-body .markdown-alert {
    padding: 0.5rem 1rem;
    margin-bottom: 16px;
    color: inherit;
    border-left: 0.25em solid #888;
}

.vscode-body .markdown-alert > :first-child {
    margin-top: 0;
}

.vscode-body .markdown-alert > :last-child {
    margin-bottom: 0;
}

.vscode-body .markdown-alert .markdown-alert-title {
    display: flex;
    font-weight: 500;
    align-items: center;
    line-height: 1;
}

.vscode-body .markdown-alert .markdown-alert-title .octicon {
    margin-right: 0.5rem;
    display: inline-block;
    overflow: visible !important;
    vertical-align: text-bottom;
    fill: currentColor;
}

.vscode-body .markdown-alert.markdown-alert-note {
    border-left-color: var(--color-note);
}

.vscode-body
    .markdown-alert.markdown-alert-note
    .markdown-alert-title {
    color: var(--color-note);
}

.vscode-body .markdown-alert.markdown-alert-important {
    border-left-color: var(--color-important);
}

.vscode-body
    .markdown-alert.markdown-alert-important
    .markdown-alert-title {
    color: var(--color-important);
}

.vscode-body .markdown-alert.markdown-alert-warning {
    border-left-color: var(--color-warning);
}

.vscode-body
    .markdown-alert.markdown-alert-warning
    .markdown-alert-title {
    color: var(--color-warning);
}

.vscode-body .markdown-alert.markdown-alert-tip {
    border-left-color: var(--color-tip);
}

.vscode-body
    .markdown-alert.markdown-alert-tip
    .markdown-alert-title {
    color: var(--color-tip);
}

.vscode-body .markdown-alert.markdown-alert-caution {
    border-left-color: var(--color-caution);
}

.vscode-body
    .markdown-alert.markdown-alert-caution
    .markdown-alert-title {
    color: var(--color-caution);
}

.vscode-body details {
    margin-left: 1rem;
}
.vscode-body details summary {
    cursor: pointer;
}

/*
https://raw.githubusercontent.com/isagalaev/highlight.js/master/src/styles/vs2015.css
*/
/*
 * Visual Studio 2015 dark style
 * Author: Nicolas LLOBERA <nllobera@gmail.com>
 */


 .hljs-keyword,
 .hljs-literal,
 .hljs-symbol,
 .hljs-name {
     color: #569CD6;
 }
 .hljs-link {
     color: #569CD6;
     text-decoration: underline;
 }
 
 .hljs-built_in,
 .hljs-type {
     color: #4EC9B0;
 }
 
 .hljs-number,
 .hljs-class {
     color: #B8D7A3;
 }
 
 .hljs-string,
 .hljs-meta-string {
     color: #D69D85;
 }
 
 .hljs-regexp,
 .hljs-template-tag {
     color: #9A5334;
 }
 
 .hljs-subst,
 .hljs-function,
 .hljs-title,
 .hljs-params,
 .hljs-formula {
     color: #DCDCDC;
 }
 
 .hljs-comment,
 .hljs-quote {
     color: #57A64A;
     font-style: italic;
 }
 
 .hljs-doctag {
     color: #608B4E;
 }
 
 .hljs-meta,
 .hljs-meta-keyword,
 .hljs-tag {
     color: #9B9B9B;
 }
 
 .hljs-variable,
 .hljs-template-variable {
     color: #BD63C5;
 }
 
 .hljs-attr,
 .hljs-attribute,
 .hljs-builtin-name {
     color: #9CDCFE;
 }
 
 .hljs-section {
     color: gold;
 }
 
 .hljs-emphasis {
     font-style: italic;
 }
 
 .hljs-strong {
     font-weight: bold;
 }
 
 /*.hljs-code {
     font-family:'Monospace';
 }*/
 
 .hljs-bullet,
 .hljs-selector-tag,
 .hljs-selector-id,
 .hljs-selector-class,
 .hljs-selector-attr,
 .hljs-selector-pseudo {
     color: #D7BA7D;
 }
 
 .hljs-addition {
     background-color: var(--vscode-diffEditor-insertedTextBackground, rgba(155, 185, 85, 0.2));
     color: rgb(155, 185, 85);
     display: inline-block;
     width: 100%;
 }
 
 .hljs-deletion {
     background: var(--vscode-diffEditor-removedTextBackground, rgba(255, 0, 0, 0.2));
     color: rgb(255, 0, 0);
     display: inline-block;
     width: 100%;
 }
 
 
 /*
 From https://raw.githubusercontent.com/isagalaev/highlight.js/master/src/styles/vs.css
 */
 /*
 
 Visual Studio-like style based on original C# coloring by Jason Diamond <jason@diamond.name>
 
 */
 
 .vscode-light .hljs-function,
 .vscode-light .hljs-params,
 .vscode-light .hljs-number,
 .vscode-light .hljs-class  {
     color: inherit;
 }
 
 .vscode-light .hljs-comment,
 .vscode-light .hljs-quote,
 .vscode-light .hljs-number,
 .vscode-light .hljs-class,
 .vscode-light .hljs-variable {
     color: #008000;
 }
 
 .vscode-light .hljs-keyword,
 .vscode-light .hljs-selector-tag,
 .vscode-light .hljs-name,
 .vscode-light .hljs-tag {
     color: #00f;
 }
 
 .vscode-light .hljs-built_in,
 .vscode-light .hljs-builtin-name {
     color: #007acc;
 }
 
 .vscode-light .hljs-string,
 .vscode-light .hljs-section,
 .vscode-light .hljs-attribute,
 .vscode-light .hljs-literal,
 .vscode-light .hljs-template-tag,
 .vscode-light .hljs-template-variable,
 .vscode-light .hljs-type {
     color: #a31515;
 }
 
 .vscode-light .hljs-subst,
 .vscode-light .hljs-selector-attr,
 .vscode-light .hljs-selector-pseudo,
 .vscode-light .hljs-meta,
 .vscode-light .hljs-meta-keyword {
     color: #2b91af;
 }
 .vscode-light .hljs-title,
 .vscode-light .hljs-doctag {
     color: #808080;
 }
 
 .vscode-light .hljs-attr {
     color: #f00;
 }
 
 .vscode-light .hljs-symbol,
 .vscode-light .hljs-bullet,
 .vscode-light .hljs-link {
     color: #00b0e8;
 }
 
 
 .vscode-light .hljs-emphasis {
     font-style: italic;
 }
 
 .vscode-light .hljs-strong {
     font-weight: bold;
 }
 
/*---------------------------------------------------------------------------------------------
 *  Copyright (c) Microsoft Corporation. All rights reserved.
 *  Licensed under the MIT License. See License.txt in the project root for license information.
 *--------------------------------------------------------------------------------------------*/

.markdown-body {
    font-family: var(
        --markdown-font-family,
        -apple-system,
        BlinkMacSystemFont,
        "Segoe WPC",
        "Segoe UI",
        system-ui,
        "Ubuntu",
        "Droid Sans",
        sans-serif
    );
    font-size: var(--markdown-font-size, 14px);
    line-height: var(--markdown-line-height, 22px);
    word-wrap: break-word;
    margin: 1em;
    text-wrap: auto;
}

/* Reset margin top for elements */
.markdown-body h1,
.markdown-body h2,
.markdown-body h3,
.markdown-body h4,
.markdown-body h5,
.markdown-body h6,
.markdown-body p,
.markdown-body ol,
.markdown-body ul,
.markdown-body pre {
    margin-top: 0;
}

.markdown-body h1,
.markdown-body h2,
.markdown-body h3,
.markdown-body h4,
.markdown-body h5,
.markdown-body h6 {
    font-weight: 600;
    margin-top: 24px;
    margin-bottom: 16px;
    line-height: 1.25;
}

.markdown-body .scrollBeyondLastLine {
    margin-bottom: calc(100vh - 22px);
}

/* Prevent `sub` and `sup` elements from affecting line height */
.markdown-body sub,
.markdown-body sup {
    line-height: 0;
}

.markdown-body ul ul:first-child,
.markdown-body ul ol:first-child,
.markdown-body ol ul:first-child,
.markdown-body ol ol:first-child {
    margin-bottom: 0;
}

.markdown-body img,
video {
    max-width: 100%;
    max-height: 100%;
}

.markdown-body a {
    text-decoration: none;
}

.markdown-body a:hover {
    text-decoration: underline;
}

.markdown-body a:focus,
.markdown-body input:focus,
.markdown-body select:focus,
.markdown-body textarea:focus {
    outline: 1px solid -webkit-focus-ring-color;
    outline-offset: -1px;
}

.markdown-body p {
    margin-bottom: 16px;
}

.markdown-body li p {
    margin-bottom: 0.7em;
}

.markdown-body ul,
.markdown-body ol {
    margin-bottom: 0.7em;
}

.markdown-body hr {
    border: 0;
    height: 1px;
    border-bottom: 1px solid;
}

.markdown-body h1 {
    font-size: 2em;
    margin-top: 0;
    padding-bottom: 0.3em;
}

.markdown-body h2 {
    font-size: 1.5em;
    padding-bottom: 0.3em;
}

.markdown-body h3 {
    font-size: 1.25em;
}

.markdown-body h4 {
    font-size: 1em;
}

.markdown-body h5 {
    font-size: 0.875em;
}

.markdown-body h6 {
    font-size: 0.85em;
}

.markdown-body table {
    border-collapse: collapse;
    margin-bottom: 0.7em;
}

.markdown-body th {
    text-align: left;
    border-bottom: 1px solid;
}

.markdown-body th,
.markdown-body td {
    padding: 5px 10px;
}

.markdown-body table > tbody > tr + tr > td {
    border-top: 1px solid;
}

.markdown-body blockquote {
    margin: 0;
    padding: 0px 16px 0 10px;
    border-left-width: 5px;
    border-left-style: solid;
    border-radius: 2px;
}

.markdown-body code {
    font-family: var(
        --vscode-editor-font-family,
        "SF Mono",
        Monaco,
        Menlo,
        Consolas,
        "Ubuntu Mono",
        "Liberation Mono",
        "DejaVu Sans Mono",
        "Courier New",
        monospace
    );
    font-size: 1em;
    line-height: 1.357em;
}

.markdown-body pre {
    white-space: pre-wrap;
}

.markdown-body pre:not(.hljs),
.markdown-body pre.hljs code > div {
    padding: 16px;
    border-radius: 3px;
    overflow: auto;
}

.markdown-body pre code {
    display: inline-block;
    color: var(--vscode-editor-foreground);
    tab-size: 4;
    background: none;
    max-width: 100%;
}

/** Theming */
.markdown-body pre {
    background-color: var(--vscode-textCodeBlock-background);
    border: 1px solid var(--vscode-widget-border);
}

.markdown-body .vscode-high-contrast h1 {
    border-color: rgb(0, 0, 0);
}

.markdown-body .vscode-light th {
    border-color: rgba(0, 0, 0, 0.69);
}

.markdown-body .vscode-dark th {
    border-color: rgba(255, 255, 255, 0.69);
}

.markdown-body .vscode-light h1,
.markdown-body .vscode-light h2,
.markdown-body .vscode-light hr,
.markdown-body .vscode-light td {
    border-color: rgba(0, 0, 0, 0.18);
}

.markdown-body .vscode-dark h1,
.markdown-body .vscode-dark h2,
.markdown-body .vscode-dark hr,
.markdown-body .vscode-dark td {
    border-color: rgba(255, 255, 255, 0.18);
}

.markdown-body pre code.language-mermaid {
    font-family: "trebuchet ms", verdana, arial;
}