:root {
  color-scheme: light;
  font-family: system-ui, sans-serif;
  color: #152e50;
  background: #edf3fc;
  --accent: #1c65c4;
  --border: #ccdbee;
  --muted: #52677f;
  --editor-bg: #182631;
  --editor-text: #e5edf6;
}
* { box-sizing: border-box; }
body { max-width: 1560px; margin: 0 auto; padding: 12px 16px; height: 100vh; height: 100dvh; min-height: 520px; display: flex; flex-direction: column; gap: 12px; }
header { display: grid; grid-template-columns: auto minmax(240px, 1fr) auto; align-items: center; gap: 18px; padding-bottom: 10px; border-bottom: 1px solid var(--border); flex-shrink: 0; }
.brand { display: flex; align-items: center; gap: 12px; min-width: 0; }
.brand-copy { min-width: 0; }
.brand-mark { display: grid; place-items: center; flex: 0 0 34px; height: 34px; border-radius: 9px; background: linear-gradient(145deg, #2584eb, #174a8d); border-bottom: 3px solid #f1ca56; color: white; font: 700 16px Consolas, monospace; box-shadow: 0 4px 10px #1a57941a; }
h1 { margin: 0; font-size: 1.25rem; letter-spacing: -.04em; line-height: 1.2; }
.author { margin: 2px 0 0; color: #52677f; font-size: .73rem; line-height: 1.3; }
.notice { color: #794207; font-size: .8rem; }
.toolbar { display: flex; align-items: center; gap: 12px; min-width: 0; }
#toggle-examples { padding: 7px 10px; font-size: .75rem; flex-shrink: 0; }
.environment-info { position: relative; font-size: .75rem; }
.environment-info summary { display: flex; align-items: center; gap: 8px; cursor: pointer; padding: 7px 9px; border: 1px solid var(--border); border-radius: 6px; background: #f8fbff; list-style: none; }
.environment-info summary::-webkit-details-marker { display: none; }
.environment-info summary::after { content: ''; width: 6px; height: 6px; flex-shrink: 0; border-right: 1.5px solid currentColor; border-bottom: 1.5px solid currentColor; transform: rotate(45deg); margin: -3px 2px 0; }
.environment-info[open] summary { border-color: #1c65c4; }
.environment-info[open] summary::after { transform: rotate(225deg); margin-top: 3px; }
.test-badge { border-radius: 4px; padding: 3px 6px; background: #fff0cb; color: #794207; white-space: nowrap; font-size: .68rem; font-weight: 600; }
.environment-description { position: absolute; top: calc(100% + 8px); right: 0; z-index: 10; width: min(480px, calc(100vw - 32px)); max-height: 70vh; max-height: 70dvh; overflow: auto; padding: 16px; border: 1px solid var(--border); border-radius: 8px; background: #fff; box-shadow: 0 12px 36px #152e5030; font-size: .78rem; line-height: 1.6; }
.environment-description h2 { margin: 0 0 10px; font-size: .95rem; }
.environment-description p { margin: 10px 0; }
.environment-description dl { display: grid; grid-template-columns: auto 1fr; gap: 7px 14px; margin: 14px 0; }
.environment-description dt { font-weight: 600; }
.environment-description dd { margin: 0; }
button { border: 1px solid var(--border); border-radius: 7px; padding: 10px 18px; background: #f8fbff; color: #233c5e; cursor: pointer; font: 600 .9rem system-ui, sans-serif; }
#run, #stop { display: inline-flex; align-items: center; gap: 9px; }
#run { background: #087b3e; color: white; border-color: #087b3e; box-shadow: 0 3px 8px #087b3e18; }
#run::before { content: ''; width: 0; height: 0; border-top: 6px solid transparent; border-bottom: 6px solid transparent; border-left: 9px solid currentColor; }
#run:hover:enabled { background: #076633; }
#stop::before { content: ''; width: 10px; height: 10px; background: currentColor; border-radius: 2px; }
#stop:hover:enabled { border-color: #8ca7ca; background: #e5eefb; }
button:disabled { opacity: .45; cursor: default; }
.interpreter-status { margin-left: auto; min-width: 0; font-size: .78rem; line-height: 1.4; }
.status-caption { color: #64748b; font-size: .72rem; }
#status { display: flex; align-items: center; gap: 8px; }
#status::before { content: ''; width: 8px; height: 8px; background: #64748b; border-radius: 50%; flex-shrink: 0; }
#status[data-state="loading"]::before, #status[data-state="waiting"]::before { background: #b45309; }
#status[data-state="running"]::before, #status[data-state="done"]::before { background: #15803d; }
#status[data-state="error"] { color: #b42318; }
#status[data-state="error"]::before { background: #b42318; }
.workspace { display: grid; grid-template-columns: 220px minmax(0, 1fr); gap: 20px; align-items: stretch; flex: 1; min-height: 380px; }
.workspace.sidebar-collapsed { grid-template-columns: minmax(0, 1fr); }
.examples-panel[hidden], .category-content[hidden] { display: none; }
main { display: grid; grid-template-columns: minmax(0, 3fr) minmax(0, 2fr); gap: 20px; min-width: 0; min-height: 0; }
.examples-panel { height: 100%; min-height: 0; display: flex; flex-direction: column; overflow: hidden; border: 1px solid var(--border); border-radius: 10px; padding: 0; background: #f7faff; box-shadow: 0 3px 12px #254d7b08; }
.examples-panel h2 { display: flex; align-items: center; gap: 9px; margin: 0; padding: 15px 14px; font-size: .9rem; font-weight: 600; background: linear-gradient(110deg, #153d69, #103258); color: #fff; }
.examples-panel h2 svg { flex-shrink: 0; }
.examples-help, #examples-status { color: var(--muted); font-size: .74rem; line-height: 1.6; }
.examples-help, #examples-status { margin: 12px 14px; }
.examples-search-box { padding: 12px; border-bottom: 1px solid #dbe5f3; }
.examples-search-box label { display: block; margin-bottom: 6px; font-size: .75rem; }
#examples-search { width: 100%; min-width: 0; padding: 8px; border: 1px solid #a8bfdc; border-radius: 5px; font: .8rem system-ui, sans-serif; background: white; color: #233c5e; }
#examples-results { margin: 7px 0 0; color: var(--muted); font-size: .7rem; }
.examples-panel nav { padding: 6px; flex: 1; min-height: 70px; overflow-y: auto; overflow-x: hidden; overscroll-behavior: contain; scrollbar-gutter: stable; }
.category-toggle { display: flex; align-items: center; gap: 7px; width: 100%; text-align: left; padding: 9px 7px; background: #e4ecf8; color: #294367; border: 1px solid transparent; border-radius: 4px; font-size: .77rem; }
.category-toggle::before { content: ''; flex: 0 0 6px; height: 6px; border-right: 1.5px solid currentColor; border-bottom: 1.5px solid currentColor; transform: rotate(-45deg); }
.category-toggle[aria-expanded="true"]::before { transform: rotate(45deg); }
.category-toggle[data-has-selection="true"] { color: #164e9d; border-left-color: #1c65c4; }
.category-toggle:hover:enabled { background: #d8e5f7; }
.category-count { margin-left: auto; font-size: .68rem; font-weight: 400; }
.category-content { list-style: none; margin: 4px 0 7px; padding: 0 0 0 8px; border-left: 1px solid #d3e1f2; }
.category-content .category-content { padding-left: 8px; }
.category-item + .category-item { margin-top: 4px; }
.examples-empty { padding: 12px 7px; color: var(--muted); font-size: .78rem; }
#examples-list { list-style: none; padding: 0; margin: 0; display: grid; gap: 3px; }
.example-button { position: relative; display: block; width: 100%; text-align: left; padding: 10px 8px 10px 28px; font-size: .79rem; border-color: transparent; background: transparent; font-weight: 500; overflow-wrap: anywhere; }
.example-button::before { content: ''; position: absolute; top: 12px; left: 9px; width: 10px; height: 13px; border: 1px solid currentColor; border-radius: 2px; opacity: .8; }
.example-button::after { content: ''; position: absolute; top: 15px; left: 12px; width: 4px; height: 5px; border-left: 1px solid currentColor; border-bottom: 1px solid currentColor; opacity: .7; }
.example-button small { display: block; margin-top: 4px; font-size: .7rem; line-height: 1.5; color: var(--muted); font-weight: 400; }
.example-button:not([aria-pressed="true"]):hover:enabled { background: #e7effb; border-color: #cadbf2; }
.example-button[aria-pressed="true"] { border-color: #1c65c4; background: linear-gradient(110deg, #1c69cf, #1754ac); color: #fff; box-shadow: 0 2px 5px #1c65c41f; }
.example-button[aria-pressed="true"] small { color: #eef5ff; }
#examples-status[data-state="error"] { color: #b42318; }
.code-state { margin: 0 12px; padding-top: 9px; border-top: 1px solid #dce6f3; font-size: .72rem; color: var(--muted); }
.selected-example { margin: 6px 12px 0; font-size: .72rem; color: #164e9d; overflow-wrap: anywhere; }
.examples-panel .examples-help { margin: 8px 12px; font-size: .7rem; }
.examples-panel #examples-status { margin: 8px 12px; font-size: .7rem; max-height: 72px; overflow-y: auto; }
.code-state[data-dirty="true"] { color: #9a4b08; }
#examples-retry { margin: 0 14px 12px; font-size: .75rem; padding: 8px; }
#replace-dialog { width: min(440px, calc(100% - 28px)); padding: 24px; border: 1px solid #94a3b8; border-radius: 10px; color: #24354a; box-shadow: 0 16px 60px #14223330; }
#replace-dialog::backdrop { background: #14223380; }
#replace-dialog h2 { margin: 0 0 12px; font-size: 1.15rem; }
#replace-dialog p { font-size: .9rem; line-height: 1.7; margin: 0 0 20px; }
.dialog-actions { display: flex; justify-content: flex-end; flex-wrap: wrap; gap: 10px; }
#confirm-example { background: var(--accent); color: white; border-color: var(--accent); }
.panel { min-width: 0; min-height: 0; height: 100%; display: flex; flex-direction: column; overflow: hidden; background: white; border: 1px solid var(--border); border-radius: 10px; box-shadow: 0 3px 12px #254d7b08; }
.panel-heading { display: flex; align-items: center; justify-content: space-between; gap: 12px; padding: 13px 16px; border-bottom: 1px solid #e2e8f0; flex-shrink: 0; }
.panel-heading label { font-size: .9rem; font-weight: 600; }
.panel-heading > span { font-size: .65rem; letter-spacing: .08em; color: #64748b; }
.editor-panel { background: var(--editor-bg); border-color: #273d50; }
.editor-panel .panel-heading, .console-panel .panel-heading { background: #223344; border-color: #172735; color: #f0f5fc; }
.editor-panel .panel-heading { border-left: 4px solid #3989ed; padding-left: 12px; }
.editor-panel .panel-heading > span, .console-panel .panel-heading > span { color: #acbdd0; }
.editor-heading { flex-wrap: wrap; gap: 10px; padding-top: 10px; padding-bottom: 10px; }
.editor-heading label { white-space: nowrap; }
.editor-actions { display: flex; flex-wrap: wrap; justify-content: flex-end; gap: 6px; margin-left: auto; }
.editor-actions button { display: inline-flex; align-items: center; justify-content: center; gap: 7px; padding: 9px 10px; font-size: .76rem; }
.editor-actions svg { flex-shrink: 0; }
.document-info { padding: 7px 14px; border-bottom: 1px solid #30404e; color: #b1c1d3; font-size: .72rem; line-height: 1.5; overflow-wrap: anywhere; flex-shrink: 0; }
#document-name { display: block; }
#file-status:not(:empty) { display: block; margin-top: 4px; }
#file-status[data-state="error"] { color: #ffb4a9; }
.editor { display: flex; flex: 1; min-height: 0; }
.codemirror-host { display: block; overflow: hidden; }
.editor-surface { position: relative; flex: 1; min-width: 0; overflow: hidden; }
.line-numbers, .highlight, #code { font: 14px/24px Consolas, 'Courier New', monospace; letter-spacing: normal; font-variant-ligatures: none; tab-size: 4; }
#code, .highlight { position: absolute; inset: 0; width: 100%; height: 100%; border: 0; border-radius: 0; margin: 0; padding: 16px; white-space: pre; overflow-wrap: normal; word-break: normal; }
#code { resize: none; background: var(--editor-bg); color: var(--editor-text); outline: none; overflow: auto; }
.highlight { visibility: hidden; overflow: hidden; pointer-events: none; color: var(--editor-text); }
.highlight code { display: block; min-width: 100%; width: max-content; font: inherit; }
.code-line { display: block; min-height: 24px; }
.code-line.is-current { background: #253b50; }
.line-numbers { display: none; flex: 0 0 52px; overflow: hidden; padding: 16px 0; text-align: right; color: #95a5b8; background: #16222d; border-right: 1px solid #30404e; user-select: none; }
.line-number { display: block; height: 24px; padding-right: 12px; }
.line-number.is-current { color: #edf5ff; font-weight: 600; background: #28445f; }
.editor-enhanced .line-numbers { display: block; }
.editor-enhanced .highlight { visibility: visible; }
.editor-enhanced #code { color: transparent; -webkit-text-fill-color: transparent; background: transparent; caret-color: #f0f6ff; }
.editor-enhanced #code::placeholder { color: #a4b4c6; -webkit-text-fill-color: #a4b4c6; opacity: 1; }
.editor-enhanced #code::selection { background: #4c8bdb70; }
.editor:focus-within { box-shadow: inset 0 0 0 2px #1c77b3; }
.token-keyword { color: #dba0ff; }
.token-string { color: #f5bb8a; }
.token-comment { color: #84c58b; }
.token-number { color: #f3ac82; }
.token-builtin { color: #7cd5ff; }
.token-operator { color: #b6c9e2; }
.editor-footer { display: flex; justify-content: space-between; padding: 9px 16px; border-top: 1px solid #30404e; background: #1d2c3a; color: #b1c1d3; font-size: .73rem; }
#output { flex: 1; min-height: 0; padding: 16px; margin: 0; overflow: auto; white-space: pre-wrap; overflow-wrap: anywhere; background: #142233; color: #e7effa; font: 14px/24px Consolas, 'Courier New', monospace; }
.console-error { color: #ffb4a9; }
.error-panel { padding: 12px 16px; background: #fff2ef; color: #9f2118; border-bottom: 1px solid #f4c2ba; font-size: .83rem; max-height: 150px; overflow: auto; }
.error-panel[hidden] { display: none; }
.error-panel p { margin: 5px 0 0; white-space: pre-wrap; overflow-wrap: anywhere; }
#input-form { padding: 14px 16px 10px; border-top: 1px solid #dbe5f3; background: #f4f8ff; flex-shrink: 0; }
.input-options { padding: 10px 14px; background: #f4f8ff; border-bottom: 1px solid #dbe5f3; font-size: .75rem; max-height: 48%; overflow: auto; flex-shrink: 0; }
.input-mode-row { display: flex; align-items: center; flex-wrap: wrap; gap: 8px; }
#input-mode { flex: 1; min-width: 0; border: 1px solid #a8bfdc; border-radius: 5px; padding: 6px; background: white; color: #233c5e; font: inherit; }
#input-mode-hint, #prepared-input-help { margin: 6px 0 0; color: var(--muted); font-size: .68rem; line-height: 1.5; }
#prepared-input-panel { margin-top: 9px; }
#prepared-input-panel[hidden] { display: none; }
#prepared-input-panel > label { display: block; margin-bottom: 5px; }
#prepared-input { display: block; width: 100%; min-width: 0; height: 66px; min-height: 44px; max-height: 120px; resize: vertical; padding: 7px; border: 1px solid #a8bfdc; border-radius: 5px; background: white; color: #233c5e; font: 13px/20px Consolas, monospace; white-space: pre; }
.input-data-actions { display: flex; align-items: center; flex-wrap: wrap; gap: 6px 10px; margin-top: 6px; }
#load-input-file { padding: 7px 9px; font-size: .72rem; }
#input-data-summary { color: var(--muted); font-size: .65rem; }
#input-data-status { margin: 6px 0 0; line-height: 1.5; overflow-wrap: anywhere; }
#input-data-status:empty { display: none; }
#input-data-status[data-state="error"] { color: #b42318; }
#input-form label { display: block; margin-bottom: 8px; font-size: .82rem; }
.input-row { display: flex; gap: 8px; }
#input { min-width: 0; width: 100%; border: 1px solid #a8b5c5; border-radius: 5px; padding: 8px; font: 14px/24px Consolas, monospace; }
#input:disabled { background: #f1f5f9; }
.input-hint { margin: 7px 0 0; font-size: .72rem; color: #64748b; }
:focus-visible { outline: 3px solid #347dd9; outline-offset: 2px; }
.visually-hidden { position: absolute; width: 1px; height: 1px; overflow: hidden; clip-path: inset(50%); white-space: nowrap; }
@media (forced-colors: active) {
  .editor-enhanced .highlight { visibility: hidden; }
  .editor-enhanced #code { color: CanvasText; -webkit-text-fill-color: CanvasText; }
}
@media (max-width: 760px) {
  body { height: auto; min-height: 100vh; min-height: 100dvh; padding: 10px 12px; }
  main { grid-template-columns: 1fr; }
  .workspace { grid-template-columns: 1fr; min-height: 0; flex: none; }
  .examples-panel { height: 260px; overflow-y: auto; }
  .examples-panel > :not(nav) { flex-shrink: 0; }
  .examples-panel nav { min-height: 100px; }
  header { grid-template-columns: 1fr auto; gap: 10px; }
  .brand { gap: 9px; }
  h1 { font-size: 1.1rem; }
  .toolbar { grid-row: 2; grid-column: 1 / -1; }
  .environment-info { grid-row: 1; grid-column: 2; }
  .environment-info summary { flex-wrap: wrap; gap: 4px 6px; max-width: 155px; font-size: .68rem; padding: 5px 7px; }
  .environment-info summary > span:last-of-type { flex-basis: 100%; }
  .environment-info summary::after { position: absolute; right: 9px; top: 14px; }
  .interpreter-status { font-size: .72rem; }
  .panel { height: max(480px, 65vh); height: max(480px, 65dvh); }
}
@media (max-width: 440px) {
  .editor-actions { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); flex-basis: 100%; }
  .editor-actions button { min-height: 38px; }
}
.mode-switch { display: flex; align-items: center; flex-wrap: wrap; gap: 8px; flex-shrink: 0; }
.mode-switch button { padding: 8px 18px; font-size: .82rem; }
.mode-switch [aria-pressed="true"] { color: white; background: #1c65c4; border-color: #1c65c4; }
.mode-switch > span { margin-left: 8px; color: var(--muted); font-size: .75rem; }
.plot-panel[hidden] { display: none; }
body[data-mode="math"] main { grid-template-columns: minmax(400px, 1fr) minmax(380px, 1fr); grid-template-rows: minmax(300px, 3fr) minmax(240px, 2fr); gap: 14px; }
body[data-mode="math"] .editor-panel { grid-row: 1 / 3; }
body[data-mode="math"] .console-panel { grid-column: 2; }
.plot-panel .panel-heading { padding: 9px 14px; }
.plot-panel .panel-heading strong { font-size: .9rem; }
#math-example { padding: 7px 9px; font-size: .72rem; }
.plot-legend { display: flex; flex-wrap: wrap; gap: 8px 18px; padding: 10px 16px 0; font-size: .72rem; }
.plot-legend > span::before { content: ''; display: inline-block; width: 22px; border-top: 3px solid #1768b7; margin: 0 7px 3px 0; }
.plot-legend > span:last-child::before { display: none; }
.plot-legend .legend-2::before { border-top-color: #ba4772; border-top-style: dashed; }
.plot-legend .legend-3::before { border-top-color: #258044; border-top-style: dotted; }
.plot-legend .legend-4::before { border-top-color: #aa5900; border-top-style: dashed; }
.plot-legend .legend-5::before { border-top-color: #7949aa; border-top-style: dotted; }
.plot-legend .legend-6::before { border-top-color: #007e88; border-top-style: dashed; }
.plot-legend > span:last-child { color: var(--muted); }
.plot-results { position: relative; flex: 1; min-height: 0; overflow: auto; overscroll-behavior: contain; }
.plot-card { padding: 10px 0; border-bottom: 1px solid var(--border); }
.plot-card h3 { padding: 0 16px; margin: 0; font-size: .85rem; }
.plot-chart { display: block; width: 100%; height: auto; min-height: 200px; }
.plot-note { padding: 0 14px; margin: 6px 0; color: var(--muted); font-size: .72rem; line-height: 1.5; }
.plot-grid line { stroke: #e2e9f1; stroke-width: 1; }
.plot-axis { stroke: #6b7e94; stroke-width: 1.4; }
.plot-frame { stroke: #d0dbe7; fill: none; }
.plot-tick { fill: #52677f; font: 14px system-ui, sans-serif; }
.plot-axis-label { fill: #294367; font: bold 15px system-ui, sans-serif; }
.plot-curve { fill: none; stroke-width: 2.5; stroke-linejoin: round; }
.curve-1 { stroke: #1768b7; }
.curve-2 { stroke: #ba4772; stroke-dasharray: 8 4; }
.curve-3 { stroke: #258044; stroke-dasharray: 2 4; }
.curve-4 { stroke: #aa5900; stroke-dasharray: 12 4; }
.curve-5 { stroke: #7949aa; stroke-dasharray: 8 3 2 3; }
.curve-6 { stroke: #007e88; stroke-dasharray: 12 3 2 3 2 3; }
#plot-status { padding: 0 14px; margin: 6px 0 12px; color: var(--muted); font-size: .72rem; line-height: 1.5; }
/* Visualization-only navy surface. The application and paper stay unchanged. */
#plot-panel { background:#142C43; color:#E5EDF6; --muted:#B9CBDA; --border:#405C75; }
#plot-panel .plot-chart, #plot-panel .stat-chart { background:#142C43; }
#plot-panel .plot-grid line, #plot-panel .stat-grid, .print-visual .plot-grid line, .print-visual .stat-grid { stroke:#36526D; }
#plot-panel .plot-axis, .print-visual .plot-axis { stroke:#A9C1D6; }
#plot-panel .plot-frame, .print-visual .plot-frame { stroke:#6E8BA4; }
#plot-panel .plot-tick, .print-visual .plot-tick { fill:#C4D5E4; }
#plot-panel .plot-axis-label, #plot-panel .stat-count, .print-visual .plot-axis-label, .print-visual .stat-count { fill:#E5EDF6; }
#plot-panel .curve-1, .print-visual .curve-1 { stroke:#73B5FF; }
#plot-panel .curve-2, .print-visual .curve-2 { stroke:#ED8CB5; }
#plot-panel .curve-3, .print-visual .curve-3 { stroke:#77D4A0; }
#plot-panel .curve-4, .print-visual .curve-4 { stroke:#F0C675; }
#plot-panel .curve-5, .print-visual .curve-5 { stroke:#C6AFE8; }
#plot-panel .curve-6, .print-visual .curve-6 { stroke:#62D8E3; }
#plot-panel .stat-bar, .print-visual .stat-bar { fill:#73B5FF; }
#plot-panel .legend-toggle, #plot-panel .mesh-legend { color:#E5EDF6; }
#plot-panel .legend-toggle:hover, #plot-panel .mesh-legend:hover { background:#213F5A; }
#plot-panel .legend-toggle[aria-pressed="false"], #plot-panel .mesh-legend[aria-pressed="false"] { opacity:.75; }
#plot-panel .legend-1::before { border-top-color:#73B5FF; }
#plot-panel .legend-2::before { border-top-color:#ED8CB5; }
#plot-panel .legend-3::before { border-top-color:#77D4A0; }
#plot-panel .legend-4::before { border-top-color:#F0C675; }
#plot-panel .legend-5::before { border-top-color:#C6AFE8; }
#plot-panel .legend-6::before { border-top-color:#62D8E3; }
#plot-panel .plot-view-status, #plot-panel .plot-data-warning, #plot-panel .plot-domain-note { color:#F0C675; }
#plot-panel .plot-ranges { color:#233C5E; }
@media (max-width: 1180px) and (min-width: 901px) {
  body[data-mode="math"] { height: auto; }
  body[data-mode="math"] .workspace { grid-template-columns: 1fr; }
  body[data-mode="math"] .examples-panel { height: 180px; }
  body[data-mode="math"] main { height: 800px; }
}
@media (max-width: 900px) {
  body[data-mode="math"] { height: auto; }
  body[data-mode="math"] .workspace { grid-template-columns: 1fr; }
  body[data-mode="math"] .examples-panel { height: 220px; }
  body[data-mode="math"] main { grid-template-columns: 1fr; grid-template-rows: auto; }
  body[data-mode="math"] .editor-panel, body[data-mode="math"] .console-panel { grid-column: 1; grid-row: auto; }
  body[data-mode="math"] .panel { height: 480px; }
  body[data-mode="math"] .plot-panel { height: 420px; }
}
@media (max-width: 760px) {
  .plot-tick { font-size: 22px; }
  .plot-axis-label { font-size: 26px; }
  .plot-curve { stroke-width: 3; }
}