#source, #highlight { white-space: pre-wrap; overflow-wrap: anywhere; word-break: normal; overflow-x: hidden; }
#source { scrollbar-gutter: stable; }
#highlight { scrollbar-gutter: stable; }
#line-numbers > div { min-height: 22px; }
.editor-measure { position: fixed; left: -100000px; top: 0; visibility: hidden; white-space: pre-wrap; overflow-wrap: anywhere; word-break: normal; tab-size: 2; }
.editor-measure > div { min-height: 22px; }
.work-panes { position: relative; }
.paper-divider { position: absolute; top: 0; bottom: 0; width: 10px; z-index: 6; cursor: col-resize; touch-action: none; background: transparent; border: 0; padding: 0; }
.paper-divider:hover, .paper-divider:focus-visible, .paper-divider.dragging { background: #287c6544; outline: none; }
.paper-divider::after { content: ''; position: absolute; top: 45%; left: 3px; width: 4px; height: 40px; border-radius: 3px; background: #7e9588; }
.tex-completions { position: absolute; z-index: 8; max-width: calc(100% - 12px); max-height: 220px; overflow: auto; background: white; border: 1px solid #cad5cd; border-radius: 7px; box-shadow: 0 5px 18px #20382a26; padding: 4px; color: #254335; font: 12px/1.5 monospace; }
.tex-completions button { display: block; width: 100%; text-align: left; padding: 5px 9px; border: 0; background: white; cursor: pointer; color: inherit; }
.tex-completions button[aria-selected=true] { background: #e4f2e9; }
@media (min-width: 761px) {
  .work-panes[data-section=paper] { grid-template-columns: var(--file-width,190px) minmax(160px,var(--editor-fr,1fr)) minmax(160px,var(--pdf-fr,1fr)) var(--assistant-width,310px); }
  .work-panes[data-section=paper].no-assistant { grid-template-columns: var(--file-width,190px) minmax(160px,var(--editor-fr,1fr)) minmax(160px,var(--pdf-fr,1fr)); }
}
@media (min-width: 1700px) { .work-panes { --file-width: 220px; --assistant-width: 340px; } }
@media (min-width: 761px) and (max-width: 1200px) { .work-panes { --file-width: 160px; } .work-panes[data-section=paper] { grid-template-columns: 160px minmax(160px,var(--editor-fr,1fr)) minmax(160px,var(--pdf-fr,1fr)); } }
@media (max-width: 760px) { .paper-divider { display: none; } }