.cm-tooltip-header-diagnostic[data-v-afa6b5a8]{color:rgb(var(--v-theme-error));font-weight:700;margin-bottom:5px;padding-bottom:5px}.cm-tooltip-diagnostic[data-v-afa6b5a8]{background-color:rgb(var(--v-theme-background));border:1px solid rgb(var(--v-theme-on-background));box-shadow:0 2px 8px rgba(var(--v-theme-on-background),.1);font-family:monospace;font-size:13px;max-width:300px;padding:8px 10px}[data-v-0bc69676] .cm-editor{background-color:rgb(var(--v-theme-background));border:1px solid rgb(var(--v-theme-on-background))}[data-v-0bc69676] .cm-editor-readonly{background-color:rgb(var(--v-theme-shaded-background));border:1px solid rgb(var(--v-theme-on-shaded-background))}[data-v-0bc69676] .cm-gutters{background-color:rgb(var(--v-theme-shaded-background));border-right:1px solid rgb(var(--v-theme-on-shaded-background))}[data-v-0bc69676] .cm-panel{background-color:rgb(var(--v-theme-shaded-background));border-top:1px solid rgb(var(--v-theme-on-shaded-background));padding-left:8px;-webkit-user-select:none;-moz-user-select:none;user-select:none}[data-v-0bc69676] .cm-custom-unknown{color:rgb(var(--v-theme-code-unknown))}[data-v-0bc69676] .cm-custom-comment{color:rgb(var(--v-theme-code-comment))}[data-v-0bc69676] .cm-custom-separator{color:rgb(var(--v-theme-code-separator))}[data-v-0bc69676] .cm-custom-operator{color:rgb(var(--v-theme-code-operator));font-size:1.15em}[data-v-0bc69676] .cm-custom-literal{color:rgb(var(--v-theme-code-literal))}[data-v-0bc69676] .cm-custom-keyword{color:rgb(var(--v-theme-code-keyword));font-weight:500}[data-v-0bc69676] .cm-custom-name-def{color:rgb(var(--v-theme-code-name-def));font-style:italic;font-weight:1000}[data-v-0bc69676] .cm-custom-name-ref{color:rgb(var(--v-theme-code-name-ref));font-style:italic}[data-v-0bc69676] .cm-custom-anchor-def{color:rgb(var(--v-theme-code-anchor-def));font-size:.8em}[data-v-0bc69676] .cm-custom-anchor-ref{color:rgb(var(--v-theme-code-anchor-ref))}[data-v-0bc69676] .readonly-line{background-color:rgba(var(--v-theme-shaded-background));border-left:3px solid rgb(var(--v-theme-primary),.3)}.solution-display[data-v-da134562]{background-color:rgba(var(--v-theme-background));border:1px solid rgba(var(--v-theme-on-background));display:flex;flex-direction:column;height:100%;overflow-y:auto;padding:12px}.latex-display[data-v-da134562]{line-height:1.6}.empty-message[data-v-da134562]{color:rgba(var(--v-theme-primary))}.empty-message[data-v-da134562],.error-message[data-v-da134562]{font-style:italic;padding:20px;text-align:center}.error-message[data-v-da134562]{color:rgba(var(--v-theme-error))}.solution-panel-container[data-v-f3b6f8f5]{height:400px;margin-bottom:10px;position:relative}.solution-editor-container[data-v-f3b6f8f5]{align-items:stretch;display:flex;flex-direction:row;flex-wrap:nowrap;gap:12px;height:280px;left:0;position:absolute;right:0;top:0}.display-pane[data-v-f3b6f8f5],.editor-pane[data-v-f3b6f8f5]{flex:2;overflow:auto}.errors-label[data-v-f3b6f8f5]{bottom:100px;font-weight:500;position:absolute}.error-messages-container[data-v-f3b6f8f5]{background-color:rgba(var(--v-theme-background));border:1px solid rgba(var(--v-theme-on-background));bottom:0;height:100px;left:0;overflow-y:auto;position:absolute;right:0}.error-message[data-v-f3b6f8f5]{cursor:pointer;line-height:1.1;-webkit-user-select:none;-moz-user-select:none;user-select:none}