:root {
  color-scheme:dark;
  --bg:#171b1a;
  --panel:#1d2220;
  --editor:#191d1c;
  --border:#343b37;
  --muted:#9ca69f;
  --text:#ebeee9;
  --green:#00cb88;
  --green-light:#80e4b5;
  --mono:'SFMono-Regular',Consolas,'Liberation Mono',monospace;
  --sans:Inter,-apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif
}
* {
  box-sizing:border-box
}
html {
  scroll-behavior:smooth;
  scroll-padding-top:24px
}
body {
  margin:0;
  background:var(--bg);
  color:var(--text);
  font-family:var(--sans);
  font-size:14px;
  line-height:1.5;
  -webkit-font-smoothing:antialiased
}
button,input,select,textarea {
  font:inherit
}
button,a,input,select,textarea {
  -webkit-tap-highlight-color:transparent
}
button,a,select {
  touch-action:manipulation
}
button {
  cursor:pointer
}
a {
  color:inherit;
  text-decoration:none
}
button {
  color:inherit
}
button:disabled {
  cursor:not-allowed;
  opacity:.45
}
button:focus-visible,a:focus-visible,select:focus-visible,input:focus-visible,[tabindex]:focus-visible {
  outline:2px solid var(--green-light);
  outline-offset:4px
}
button {
  border:0;
  background:none
}
h1,h2,h3,p {
  margin:0
}
svg.icon {
  width:17px;
  height:17px;
  fill:none;
  stroke:currentColor;
  stroke-width:1.6;
  stroke-linecap:round;
  stroke-linejoin:round;
  flex-shrink:0
}
[hidden] {
  display:none!important
}
.icon-definitions {
  position:absolute;
  width:0;
  height:0;
  overflow:hidden
}
.sr-only {
  position:absolute;
  width:1px;
  height:1px;
  padding:0;
  margin:-1px;
  overflow:hidden;
  clip:rect(0,0,0,0);
  white-space:nowrap;
  border:0
}
.skip-link {
  position:fixed;
  top:-60px;
  left:24px;
  background:var(--green);
  color:var(--bg);
  padding:12px 20px;
  z-index:20
}
.skip-link:focus {
  top:12px
}
.site-header {
  height:87px;
  max-width:1440px;
  padding:0 48px;
  margin:auto;
  display:flex;
  align-items:center;
  border-bottom:1px solid var(--border);
  gap:70px
}
.brand {
  display:flex;
  align-items:center;
  gap:11px;
  font-size:24px;
  font-weight:650;
  letter-spacing:-1px
}
.brand-mark {
  display:flex;
  align-items:center;
  justify-content:center;
  width:36px;
  height:36px;
  border-radius:8px;
  background:var(--green);
  color:#14261f;
  font-family:var(--mono);
  font-size:23px;
  letter-spacing:-4px;
  padding-right:4px
}
.brand-mark span {
  font-size:21px;
  margin:0 3px
}
.brand-two {
  color:var(--muted);
  font-weight:400
}
.brand-dot {
  color:var(--green)
}
nav {
  display:flex;
  gap:30px;
  height:100%;
  align-items:center
}
nav a,nav button {
  position:relative;
  padding:8px 0;
  color:var(--muted);
  font-size:13px
}
nav a:hover,nav button:hover {
  color:var(--text)
}
nav .nav-active {
  color:var(--text)
}
nav .nav-active:after {
  content:'';
  position:absolute;
  bottom:-24px;
  left:0;
  right:0;
  height:2px;
  background:var(--green)
}
nav button span {
  margin-left:4px;
  color:#7d8981
}
.header-note {
  margin-left:auto;
  color:var(--muted);
  font-size:12px;
  display:flex;
  gap:9px;
  align-items:center
}
.status-dot {
  width:6px;
  height:6px;
  background:var(--green);
  display:inline-block;
  flex-shrink:0;
  border-radius:50%
}
main {
  max-width:1440px;
  margin:auto;
  padding:0 48px
}
.intro {
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:30px;
  padding:49px 0 42px
}
.eyebrow {
  display:flex;
  align-items:center;
  gap:9px;
  font-family:var(--mono);
  font-size:10px;
  font-weight:500;
  letter-spacing:1.8px;
  color:var(--green-light)
}
.eyebrow-line {
  width:20px;
  height:1px;
  background:var(--green)
}
h1 {
  margin:13px 0 13px;
  font-size:clamp(30px,3vw,43px);
  line-height:1.2;
  letter-spacing:-1.7px;
  font-weight:560
}
h1 span {
  color:var(--green-light)
}
.intro-description {
  color:var(--muted);
  font-size:13px;
  line-height:1.9
}
.mobile-break {
  display:none
}
.conversion-diagram {
  width:230px;
  display:flex;
  align-items:center;
  position:relative;
  justify-content:center;
  gap:19px;
  margin:0 8px 12px 0
}
.diagram-code {
  font-family:var(--mono);
  color:#bac4bc;
  font-size:35px;
  letter-spacing:-3px
}
.diagram-code span {
  font-size:23px
}
.diagram-path {
  width:49px;
  display:flex;
  align-items:center;
  color:var(--green);
  position:relative
}
.diagram-path i {
  position:absolute;
  top:-18px;
  left:11px;
  width:28px;
  height:48px;
  border-right:1px dashed #4c6357;
  border-radius:50%;
  transform:rotate(-20deg)
}
.diagram-path .icon {
  width:49px;
  height:24px;
  z-index:1
}
.diagram-tex {
  font-family:Georgia,'Times New Roman',serif;
  font-size:31px;
  letter-spacing:-2px;
  color:var(--green-light)
}
.tex-a {
  font-size:.65em;
  vertical-align:.38em;
  margin-left:-.18em;
  margin-right:-.13em
}
.tex-e {
  vertical-align:-.23em;
  margin-left:-.07em;
  margin-right:-.07em
}
.diagram-label {
  position:absolute;
  top:64px;
  left:8px;
  right:0;
  text-align:center;
  font:8px var(--mono);
  letter-spacing:2px;
  color:#8a9a8e
}
.workspace-heading {
  display:flex;
  align-items:center;
  justify-content:space-between;
  margin:0 0 16px
}
.workspace-heading>div {
  display:flex;
  align-items:center;
  gap:10px
}
.workspace-heading h2 {
  font-size:13px;
  font-weight:550
}
.workspace-divider {
  color:#58625b;
  padding:0 2px
}
.workspace-subtitle {
  color:#939e95;
  font-size:12px
}
.workspace-format {
  color:#929e96;
  font:10px var(--mono);
  display:flex;
  gap:10px;
  align-items:center
}
.workspace-format .icon {
  width:13px;
  height:13px
}
.editor-grid {
  display:grid;
  grid-template-columns:minmax(0,1fr) minmax(0,1fr);
  gap:18px
}
.editor-panel {
  min-width:0;
  border:1px solid var(--border);
  border-radius:10px;
  overflow:hidden;
  background:var(--panel)
}
.panel-heading {
  height:62px;
  padding:0 20px;
  display:flex;
  justify-content:space-between;
  align-items:center;
  gap:10px
}
.panel-title {
  display:flex;
  align-items:center;
  gap:10px
}
.panel-title h3 {
  font-weight:550;
  font-size:14px;
  letter-spacing:-.1px
}
.step-number {
  font:10px var(--mono);
  color:var(--green-light);
  border:1px solid #3b4a41;
  border-radius:4px;
  padding:3px 5px
}
.example-picker select,.document-picker select {
  font-size:11px;
  color:var(--muted);
  padding:6px 22px 6px 7px;
  border:0;
  background-color:transparent;
  cursor:pointer;
  max-width:100%
}
select option {
  background:var(--panel);
  color:var(--text)
}
.result-badge {
  color:var(--green-light);
  font-size:10px;
  display:flex;
  align-items:center;
  gap:4px;
  background:#23352b;
  border:1px solid #324b3d;
  padding:3px 7px;
  border-radius:5px
}
.result-badge .icon {
  width:12px;
  height:12px
}
.result-badge.stale {
  color:#e0c28b;
  background:#322e24;
  border-color:#514837
}
.editor-toolbar {
  height:44px;
  border-top:1px solid var(--border);
  border-bottom:1px solid var(--border);
  display:flex;
  align-items:center;
  justify-content:space-between;
  padding:0 17px;
  background:#202623;
  gap:8px
}
.file-label {
  display:flex;
  align-items:center;
  gap:8px;
  font:11px var(--mono);
  color:#bec8c0;
  min-width:0
}
.file-label .icon {
  color:var(--green-light);
  width:14px;
  height:14px
}
#source-filename {
  white-space:nowrap;
  overflow:hidden;
  text-overflow:ellipsis;
  max-width:180px
}
.toolbar-actions {
  display:flex;
  align-items:center;
  gap:13px
}
.text-button {
  font-size:11px;
  color:#b1bcb3;
  padding:7px 0;
  display:flex;
  align-items:center;
  gap:6px;
  white-space:nowrap
}
.text-button:hover,.icon-button:hover {
  color:var(--green-light)
}
.text-button .icon {
  width:13px;
  height:13px
}
.toolbar-divider {
  height:12px;
  border-left:1px solid #435047
}
.icon-button {
  display:flex;
  align-items:center;
  justify-content:center;
  padding:7px;
  color:#a6b3aa;
  border-radius:4px
}
.icon-button .icon {
  width:15px;
  height:15px
}
.code-editor {
  height:360px;
  display:flex;
  position:relative;
  background:var(--editor);
  overflow:hidden
}
.line-numbers {
  flex:0 0 49px;
  width:49px;
  text-align:right;
  padding:21px 14px 21px 0;
  font:12px/24px var(--mono);
  color:#68776d;
  white-space:pre;
  overflow:hidden;
  user-select:none;
  background:var(--editor)
}
.code-surface {
  flex:1;
  min-width:0;
  position:relative
}
.code-surface pre,.code-surface textarea {
  position:absolute;
  inset:0;
  margin:0;
  padding:21px 18px 21px 4px;
  border:0;
  font:13px/24px var(--mono);
  letter-spacing:0;
  tab-size:4;
  white-space:pre;
  overflow:auto;
  border-radius:0;
  width:100%;
  height:100%
}
.code-surface pre {
  pointer-events:none;
  scrollbar-width:none;
  color:#d5ddd4
}
.code-surface code {
  font:inherit
}
.code-surface textarea {
  color:transparent;
  caret-color:var(--green-light);
  background:transparent;
  resize:none;
  outline:none;
  -webkit-text-fill-color:transparent
}
.code-surface textarea::selection {
  background:#426b565e
}
.code-surface:focus-within {
  box-shadow:inset 0 0 0 1px #57836555
}
.token-keyword {
  color:#b7a0d8
}
.token-type {
  color:#8bd3c6
}
.token-number {
  color:#deb787
}
.token-comment {
  color:#7b9583;
  font-style:italic
}
.token-string {
  color:#c8d69b
}
.token-function {
  color:#c7dba3
}
.token-command {
  color:#90cbb6
}
.drop-message {
  display:none;
  position:absolute;
  inset:8px;
  border:1px dashed var(--green);
  border-radius:6px;
  background:#192e25ed;
  align-items:center;
  justify-content:center;
  color:var(--green-light);
  pointer-events:none
}
.dragging .drop-message {
  display:flex
}
.editor-status {
  height:32px;
  padding:0 17px;
  display:flex;
  align-items:center;
  gap:16px;
  border-top:1px solid #2c342e;
  background:var(--editor);
  color:#94a196;
  font:9px var(--mono)
}
.editor-status span:last-child {
  margin-left:auto
}
#draft-status {
  color:#85968a
}
.panel-settings {
  height:80px;
  border-top:1px solid var(--border);
  padding:12px 18px
}
.title-field {
  display:flex;
  align-items:center;
  flex-wrap:wrap;
  column-gap:6px;
  row-gap:7px;
  font-size:10px;
  color:#bdc6be
}
.title-field>span {
  font-size:9px;
  color:#929e95
}
.title-field input {
  width:100%;
  border:1px solid #39433b;
  background:#1a201c;
  border-radius:5px;
  padding:7px 9px;
  color:var(--text);
  font-size:11px;
  height:30px
}
.title-field input::placeholder {
  color:#839186
}
.view-tabs {
  display:flex;
  align-items:center;
  height:100%;
  gap:22px
}
.view-tabs button {
  height:100%;
  position:relative;
  padding:0 1px;
  color:#9aa79e;
  font-size:11px
}
.view-tabs button[aria-selected=true] {
  color:var(--green-light)
}
.view-tabs button[aria-selected=true]:after {
  content:'';
  position:absolute;
  bottom:-1px;
  left:0;
  right:0;
  height:2px;
  background:var(--green)
}
.output-toolbar .toolbar-actions {
  gap:16px
}
.preview-view {
  height:360px;
  padding:20px 24px 15px;
  background-color:#202721;
  background-image:radial-gradient(#49624e4d .65px,transparent .65px);
  background-size:12px 12px;
  overflow:auto
}
.preview-caption {
  display:flex;
  align-items:center;
  gap:6px;
  font:8px var(--mono);
  letter-spacing:1.8px;
  color:#a6b5a4;
  margin-bottom:12px
}
.preview-caption .status-dot {
  width:4px;
  height:4px;
  background:#8dbb93
}
.algorithm-paper {
  padding:18px 22px;
  background:#f1f0e8;
  box-shadow:0 6px 22px #0002;
  border-radius:2px;
  color:#242d24;
  font:13px/1.75 Georgia,'Times New Roman',serif;
  min-height:205px
}
.algorithm-caption {
  font-size:13px;
  border-top:1.5px solid #343b31;
  border-bottom:1px solid #818677;
  padding:5px 0;
  margin-bottom:9px;
  overflow-wrap:anywhere
}
.algorithm-caption strong {
  margin-right:5px
}
.algorithm-body {
  border-bottom:1.5px solid #343b31;
  padding-bottom:9px
}
.algorithm-row {
  display:flex;
  align-items:baseline;
  min-height:23px;
  font-size:12px
}
.algorithm-line-number {
  flex:0 0 20px;
  color:#858879;
  font-size:10px;
  text-align:right;
  padding-right:9px;
  user-select:none
}
.algorithm-line-content {
  padding-left:calc(var(--indent,0)*13px);
  overflow-wrap:anywhere;
  min-width:0
}
.algorithm-line-content strong {
  font-variant:small-caps;
  font-weight:bold
}
.algorithm-comment {
  color:#747e69;
  font-style:italic;
  font-size:11px
}
.algorithm-comment .algorithm-line-content:before {
  content:'▷ ';
  font-style:normal
}
.preview-note {
  text-align:center;
  font-size:9px;
  color:#a1af9f;
  margin:16px 0 0
}
.latex-view {
  display:flex;
  height:360px;
  background:var(--editor);
  overflow:auto
}
.latex-view .line-numbers {
  overflow:visible;
  position:sticky;
  left:0;
  z-index:1;
  min-height:100%;
  height:max-content
}
.latex-view pre {
  margin:0;
  padding:21px 20px 21px 4px;
  font:11px/24px var(--mono);
  white-space:pre;
  min-width:0;
  color:#d4dfd5
}
.latex-view code {
  font:inherit
}
.output-settings {
  display:flex;
  justify-content:space-between;
  align-items:center;
  gap:16px
}
.checkbox-label {
  display:flex;
  gap:8px;
  align-items:center;
  font-size:11px;
  color:#b4c0b7;
  cursor:pointer
}
.checkbox-label input {
  accent-color:var(--green);
  height:14px;
  width:14px;
  margin:0
}
.document-picker select {
  border:1px solid #3b463d;
  border-radius:5px;
  padding:8px 24px 8px 10px;
  background:#1a201c;
  color:#c0cbc2
}
.workspace-bottom {
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:16px;
  margin:20px 0 0
}
.workspace-bottom>p {
  display:flex;
  align-items:center;
  gap:7px;
  color:#9caaa0;
  font-size:10px
}
.workspace-bottom>p .icon {
  width:13px;
  height:13px;
  color:var(--green-light)
}
.convert-actions {
  display:flex;
  align-items:center;
  gap:20px
}
.keyboard-hint {
  display:flex;
  align-items:center;
  gap:4px;
  font-size:10px;
  color:#93a196
}
.keyboard-hint kbd {
  font:10px var(--sans);
  border:1px solid #465049;
  border-radius:4px;
  min-width:20px;
  height:21px;
  display:flex;
  align-items:center;
  justify-content:center;
  background:#202722
}
.keyboard-hint kbd:last-of-type {
  margin-right:3px
}
.primary-button {
  display:flex;
  align-items:center;
  justify-content:center;
  gap:24px;
  border-radius:6px;
  background:var(--green);
  color:#102b1e;
  font-weight:650;
  font-size:12px;
  padding:14px 20px;
  min-height:44px;
  box-shadow:inset 0 1px 0 #74e8b84a;
  transition:background .15s,transform .15s
}
.primary-button:hover {
  background:#39dfa1;
  transform:translateY(-1px)
}
.primary-button:active {
  transform:translateY(0)
}
.primary-button:disabled {
  transform:none
}
.error-message {
  border:1px solid #805044;
  background:#372821;
  border-radius:6px;
  color:#f1b9a5;
  padding:12px 15px;
  margin-top:14px;
  font-size:12px
}
.workflow {
  display:grid;
  grid-template-columns:repeat(3,1fr);
  gap:24px;
  padding:29px 0 30px;
  margin-top:30px;
  border-top:1px solid var(--border)
}
.workflow>div {
  display:flex;
  align-items:center;
  gap:13px
}
.feature-icon {
  display:flex;
  align-items:center;
  justify-content:center;
  width:36px;
  height:36px;
  border:1px solid #354239;
  border-radius:8px;
  color:#a0bba8;
  background:#202721;
  flex-shrink:0
}
.workflow h3 {
  font-size:11px;
  font-weight:500;
  margin-bottom:4px;
  color:#d6dfd6
}
.workflow p {
  font-size:10px;
  color:#93a094
}
.site-footer {
  max-width:1440px;
  margin:0 auto;
  padding:20px 48px 25px;
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:15px;
  border-top:1px solid var(--border);
  font-size:10px;
  color:#94a196
}
.site-footer>span:first-child {
  font-weight:500
}
.site-footer a {
  color:#abb8ac
}
.site-footer a:hover {
  color:var(--green-light)
}
.footer-label {
  font:8px var(--mono);
  letter-spacing:1.4px;
  color:#819084
}
dialog {
  border:1px solid #46564b;
  border-radius:12px;
  padding:28px;
  background:var(--panel);
  color:var(--text);
  width:min(520px,calc(100% - 32px));
  max-height:85dvh;
  box-shadow:0 24px 90px #0007
}
dialog::backdrop {
  background:#08130ebd;
  backdrop-filter:blur(4px)
}
.dialog-heading {
  display:flex;
  justify-content:space-between;
  align-items:flex-start;
  margin-bottom:14px
}
.dialog-heading .eyebrow {
  font-size:9px;
  margin-bottom:10px
}
.dialog-heading h2 {
  font-size:25px;
  font-weight:550;
  letter-spacing:-.6px
}
dialog>p {
  color:var(--muted);
  font-size:12px;
  line-height:1.8
}
.example-list {
  display:grid;
  gap:10px;
  margin-top:22px
}
.example-list button {
  padding:15px;
  display:flex;
  align-items:center;
  justify-content:space-between;
  border:1px solid var(--border);
  border-radius:7px;
  text-align:left
}
.example-list button:hover {
  border-color:var(--green);
  background:#26362c
}
.example-list strong {
  display:block;
  font-size:13px;
  font-weight:500
}
.example-list small {
  display:block;
  color:var(--muted);
  font-size:11px;
  margin-top:4px
}
.example-list .icon {
  color:var(--green-light)
}
.guide-steps {
  padding-left:20px;
  font-size:13px
}
.guide-steps li {
  padding-left:5px;
  margin-bottom:20px
}
.guide-steps li::marker {
  color:var(--green-light)
}
.guide-steps strong {
  font-weight:550
}
.guide-steps p {
  color:var(--muted);
  margin-top:5px;
  font-size:12px;
  line-height:1.8
}
.guide-steps pre {
  padding:12px;
  background:var(--editor);
  border:1px solid var(--border);
  border-radius:5px;
  font-size:11px;
  overflow:auto
}
.guide-note {
  padding-top:14px;
  border-top:1px solid var(--border);
  margin-top:14px;
  font-size:11px!important
}
.toast {
  position:fixed;
  bottom:24px;
  left:50%;
  transform:translateX(-50%);
  padding:12px 20px;
  border:1px solid #496552;
  border-radius:8px;
  background:#263d2e;
  color:#d5f8df;
  box-shadow:0 5px 25px #0005;
  font-size:12px;
  z-index:30;
  text-align:center;
  max-width:calc(100% - 32px)
}
.noscript-note {
  padding:16px;
  background:#3b3323;
  color:#eee2bd;
  text-align:center
}
.empty-preview {
  display:grid;
  place-content:center;
  min-height:200px;
  text-align:center
}
.empty-preview .icon {
  width:30px;
  height:30px;
  margin:0 auto 13px;
  color:var(--green-light)
}
.empty-preview h4 {
  font-size:15px;
  margin:0 0 6px;
  font-weight:500
}
.empty-preview p {
  font-size:11px;
  color:var(--muted)
}
* {
  scrollbar-width:thin;
  scrollbar-color:#4b5e50 transparent
}
@media(min-width:1500px) {
  .site-header,main,.site-footer {
    max-width:1480px
  }
  .intro {
    padding-top:56px;
    padding-bottom:49px
  }
  .code-editor,.preview-view,.latex-view {
    height:360px
  }

}
@media(max-width:1100px) {
  .site-header {
    gap:45px;
    padding:0 28px
  }
  .header-note {
    display:none
  }
  main {
    padding:0 28px
  }
  .site-footer {
    padding-left:28px;
    padding-right:28px
  }
  .conversion-diagram {
    width:190px;
    transform:scale(.85);
    transform-origin:right center
  }
  .intro {
    gap:5px
  }
  .intro-description {
    font-size:12px
  }
  .preview-view {
    padding:22px 18px
  }
  .algorithm-paper {
    padding:19px 16px
  }
  .workspace-bottom>p {
    max-width:260px
  }
  .toolbar-actions {
    gap:9px
  }
  .panel-heading {
    padding:0 15px
  }
  .editor-toolbar {
    padding:0 13px
  }
  .workspace-subtitle {
    display:none
  }
  .workspace-divider {
    display:none
  }

}
@media(max-width:760px) {
  .site-header {
    height:74px;
    padding:0 20px;
    gap:20px;
    justify-content:space-between
  }
  .brand {
    font-size:21px;
    gap:8px
  }
  .brand-mark {
    width:31px;
    height:31px;
    font-size:20px
  }
  nav {
    gap:18px
  }
  nav a {
    display:none
  }
  nav button {
    font-size:11px
  }
  main {
    padding:0 20px
  }
  .intro {
    padding:32px 0
  }
  .conversion-diagram {
    display:none
  }
  h1 {
    font-size:32px;
    max-width:500px;
    letter-spacing:-1.3px
  }
  .intro-description {
    font-size:12px;
    line-height:1.9
  }
  .mobile-break {
    display:block
  }
  .eyebrow {
    font-size:9px
  }
  .workspace-format {
    font-size:9px
  }
  .editor-grid {
    grid-template-columns:minmax(0,1fr);
    gap:16px
  }
  .code-editor {
    height:310px
  }
  .preview-view,.latex-view {
    height:360px
  }
  .panel-heading {
    height:58px
  }
  .workspace-bottom {
    align-items:stretch;
    flex-direction:column-reverse
  }
  .convert-actions {
    justify-content:space-between;
    flex-direction:row-reverse
  }
  .primary-button {
    flex:1;
    max-width:270px;
    justify-content:space-between
  }
  .workspace-bottom>p {
    max-width:none
  }
  .workflow {
    grid-template-columns:1fr;
    gap:20px;
    margin-top:24px;
    padding:24px 0
  }
  .workflow h3 {
    font-size:12px
  }
  .workflow p {
    font-size:11px
  }
  .site-footer {
    padding:20px;
    flex-wrap:wrap;
    justify-content:space-between
  }
  .footer-label {
    display:none
  }
  .preview-view {
    padding:22px 24px
  }
  .algorithm-paper {
    padding:20px 24px
  }
  .toolbar-actions .text-button,.view-tabs button {
    min-height:36px
  }
  .icon-button {
    min-width:34px;
    min-height:34px
  }
  .example-picker select {
    min-height:36px
  }
  .document-picker select {
    min-height:36px
  }

}
@media(max-width:380px) {
  main {
    padding:0 12px
  }
  .site-header {
    padding:0 12px
  }
  nav {
    gap:12px
  }
  .brand {
    font-size:20px
  }
  h1 {
    font-size:29px
  }
  .preview-view {
    padding:18px 14px
  }
  .algorithm-paper {
    padding:17px 13px
  }
  .keyboard-hint {
    display:none
  }
  .primary-button {
    max-width:none
  }
  .workspace-format {
    display:none
  }
  .panel-heading {
    padding:0 12px
  }
  .panel-title {
    gap:6px
  }
  .example-picker select {
    max-width:140px
  }

}
@media(prefers-reduced-motion:reduce) {
  html {
    scroll-behavior:auto
  }
  *,*:before,*:after {
    transition:none!important;
    animation:none!important
  }

}
@media(forced-colors:active) {
  .code-surface textarea {
    color:CanvasText;
    -webkit-text-fill-color:CanvasText
  }
  .code-surface pre {
    visibility:hidden
  }
  .primary-button,.brand-mark {
    border:1px solid ButtonText
  }

}
.mobile-convert {
  display:none
}
@media(max-width:760px) {
  .mobile-convert {
    display:block;
    padding:14px 18px;
    border-top:1px solid var(--border)
  }
  .mobile-convert .primary-button {
    width:100%;
    max-width:none
  }
  .workspace-bottom .convert-actions {
    display:none
  }
  .workspace-bottom {
    margin-top:14px
  }

}