/* Cone Playground. Colours and type follow the Cone Language Reference (cone-docsite/style.css). */
:root {
  --bg: #fbfaf6; --fg: #2b2b2b; --muted: #6b6b6b; --link: #3a4fb8; --accent: #c00000;
  --side: #f2f0e8; --border: #dcd8cb; --codebg: #efece3; --codefg: #2b2b2b; --inline: #b00000;
  --hl: #e4e8fb;
  --btn: #3a4fb8; --btnfg: #ffffff;
  --ok: #1f7a3a; --warn: #9a5b00; --bad: #b00000; --badbg: #fbe9e7; --warnbg: #fff3d6; --okbg: #e3f3e7;
  /* syntax colours */
  --s-kw: #8a2be2; --s-type: #0b6e7d; --s-str: #b3261e; --s-num: #0a7d5a; --s-com: #7a7a6a;
  --s-perm: #b5530b; --s-fn: #2a46b5; --s-var: #2b2b2b;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #17181b; --fg: #dcdcdc; --muted: #9a9a9a; --link: #8fa4ff; --accent: #ff6b6b;
    --side: #1e2024; --border: #33363c; --codebg: #23252a; --codefg: #e2e2e2; --inline: #ff8c8c;
    --hl: #2a3050;
    --btn: #8fa4ff; --btnfg: #11131a;
    --ok: #6fd18a; --warn: #f0b95a; --bad: #ff8c8c; --badbg: #3a2022; --warnbg: #3a2f17; --okbg: #1b3024;
    --s-kw: #c792ea; --s-type: #4ec9d6; --s-str: #f2958f; --s-num: #6fd1a6; --s-com: #8b8e86;
    --s-perm: #f0a05a; --s-fn: #8fa4ff; --s-var: #e2e2e2;
  }
}
* { box-sizing: border-box; }
[hidden] { display: none !important; }
html, body { height: 100%; }
body { margin: 0; background: var(--bg); color: var(--fg); display: flex; flex-direction: column;
  font: 16px/1.65 system-ui, -apple-system, "Segoe UI", Cantarell, "Helvetica Neue", Arial, sans-serif; }
a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; }
code { font-family: ui-monospace, SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace;
  font-size: .92em; color: var(--inline); background: var(--codebg); padding: 1px 5px; border-radius: 4px; }
.muted { color: var(--muted); }
button { font: inherit; font-size: 15px; line-height: 1.2; padding: 8px 14px; border-radius: 8px; cursor: pointer;
  border: 1px solid var(--border); background: var(--side); color: var(--fg); }
button:hover:not(:disabled) { background: var(--hl); }
button:disabled { opacity: .5; cursor: default; }
button:focus-visible, a:focus-visible, summary:focus-visible { outline: 2px solid var(--link); outline-offset: 2px; }
button.primary { background: var(--btn); color: var(--btnfg); border-color: var(--btn); font-weight: 600; }
button.primary:hover:not(:disabled) { background: var(--btn); filter: brightness(1.1); }

/* top bar */
.top { position: sticky; top: 0; z-index: 30; display: flex; align-items: center; gap: 14px; flex: 0 0 auto;
  min-height: 54px; padding: 6px 16px; background: var(--bg); border-bottom: 1px solid var(--border); }
.brand { display: flex; align-items: center; gap: 8px; color: var(--fg); font-weight: 700; white-space: nowrap; }
.brand span { color: var(--accent); font-size: 1.25em; }
.brand em { font-style: normal; color: var(--accent); font-weight: 600; }
.brand:hover { text-decoration: none; }
.toplinks { margin-left: auto; display: flex; gap: 16px; font-size: 14.5px; white-space: nowrap; }
.lessonmenu { position: relative; }
#lessons-btn { max-width: 46vw; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
#lessons-list { position: absolute; left: 0; top: 46px; z-index: 40; width: min(380px, 92vw); max-height: 75vh; overflow: auto;
  margin: 0; padding: 4px; list-style: none; background: var(--bg); border: 1px solid var(--border);
  border-radius: 8px; box-shadow: 0 8px 24px rgba(0,0,0,.25); counter-reset: n; }
#lessons-list[hidden] { display: none; }
#lessons-list li { counter-increment: n; }
#lessons-list a { display: block; padding: 7px 10px; border-radius: 6px; color: var(--fg); font-size: 14.5px; line-height: 1.35; }
#lessons-list a::before { content: counter(n) ". "; color: var(--muted); display: inline-block; min-width: 2em; }
#lessons-list a:hover { background: var(--hl); text-decoration: none; }
#lessons-list a[aria-current="true"] { background: var(--hl); font-weight: 600; }
#lessons-list .edited-dot { color: var(--accent); margin-left: 6px; font-size: 12px; }

/* two panes */
.layout { flex: 1 1 auto; min-height: 0; display: grid; grid-template-columns: minmax(300px, 2fr) minmax(380px, 3fr); }
.lesson { overflow-y: auto; padding: 18px 24px 28px; border-right: 1px solid var(--border); background: var(--bg); }
.lesson h1 { font-size: 1.55rem; line-height: 1.25; margin: 0 0 4px; }
.lesson h2 { font-size: .8rem; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); margin: 22px 0 4px; }
.lesson p { margin: .5em 0; }
.lesson ul { margin: .3em 0; padding-left: 1.3em; }
.lesson li { margin: .35em 0; }
.lesson .count { color: var(--muted); font-size: 14px; margin-bottom: 8px; }
.lesson .jump { display: none; margin-left: 10px; padding: 3px 10px; font-size: 13.5px; }
.lesson .errorbox { border-left: 4px solid var(--accent); background: var(--side); padding: 6px 14px; border-radius: 0 8px 8px 0; margin-top: 4px; }
.lesson .errorbox p { margin: .4em 0; }
.lesson .refs { list-style: none; padding: 0; display: flex; flex-wrap: wrap; gap: 6px 10px; }
.lesson .refs li { margin: 0; }
.lesson .refs a { display: inline-block; padding: 3px 10px; border: 1px solid var(--border); border-radius: 999px; font-size: 14px; background: var(--side); }
.lesson .refs a:hover { background: var(--hl); text-decoration: none; }

.work { display: flex; flex-direction: column; min-width: 0; min-height: 0; }
.toolbar { display: flex; align-items: center; gap: 10px; padding: 8px 12px; border-bottom: 1px solid var(--border); background: var(--side); }
.toolbar .fill { flex: 1; }
#filename { font: 13px ui-monospace, SFMono-Regular, Consolas, monospace; }
.chip { display: inline-block; font-size: 12.5px; line-height: 1.5; padding: 0 9px; border-radius: 999px; border: 1px solid var(--border); background: var(--bg); color: var(--muted); }
.chip.ok { color: var(--ok); background: var(--okbg); border-color: transparent; }
.chip.warn { color: var(--warn); background: var(--warnbg); border-color: transparent; }
.chip.bad { color: var(--bad); background: var(--badbg); border-color: transparent; }
#editor-wrap { flex: 3 1 0; min-height: 200px; position: relative; background: var(--codebg); }
#editor { position: absolute; inset: 0; }
textarea#editor { width: 100%; height: 100%; resize: none; border: 0; padding: 10px 12px; background: var(--codebg); color: var(--codefg);
  font: 14px/1.5 ui-monospace, SFMono-Regular, Consolas, monospace; tab-size: 2; }
.outhead { padding: 4px 12px; font-size: .8rem; text-transform: uppercase; letter-spacing: .06em; color: var(--muted);
  background: var(--side); border-top: 1px solid var(--border); border-bottom: 1px solid var(--border); }
.result { flex: 2 1 0; min-height: 140px; overflow: auto; padding: 10px 12px 14px; background: var(--bg); }
.result p { margin: .3em 0; }
.result .status { display: flex; flex-wrap: wrap; gap: 6px 8px; align-items: center; margin-bottom: 8px; }
.result .label { font-size: .75rem; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); margin: 8px 0 3px; }
.result pre { margin: 0; padding: 10px 12px; overflow: auto; white-space: pre-wrap; word-break: break-word; tab-size: 4;
  font: 14px/1.5 ui-monospace, SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace;
  background: var(--codebg); color: var(--codefg); border: 1px solid var(--border); border-radius: 6px; }
.result pre.compile-error { border-color: var(--bad); }
.result .empty { color: var(--muted); font-style: italic; }
.result .notice { margin: 8px 0 0; padding: 6px 12px; border-radius: 6px; background: var(--warnbg); color: var(--warn); font-size: 14.5px; }
.result .notice.bad { background: var(--badbg); color: var(--bad); }
.result .spin { display: inline-block; width: 12px; height: 12px; margin-right: 6px; border: 2px solid var(--border); border-top-color: var(--link); border-radius: 50%; animation: spin .8s linear infinite; vertical-align: -1px; }
@keyframes spin { to { transform: rotate(360deg); } }

.bottomnav { flex: 0 0 auto; display: flex; align-items: center; justify-content: space-between; gap: 10px; padding: 8px 16px;
  border-top: 1px solid var(--border); background: var(--side); }

/* Ace theme, driven by the page's colour variables so light and dark both work */
.ace-cone { background: var(--codebg); color: var(--codefg); }
.ace-cone .ace_gutter { background: var(--side); color: var(--muted); }
.ace-cone .ace_gutter-active-line { background: var(--hl); }
.ace-cone .ace_marker-layer .ace_active-line { background: rgba(128,128,128,.12); }
.ace-cone .ace_cursor { color: var(--fg); }
.ace-cone .ace_marker-layer .ace_selection { background: var(--hl); filter: brightness(.95); }
.ace-cone .ace_marker-layer .ace_bracket { margin: -1px 0 0 -1px; border: 1px solid var(--muted); }
.ace-cone .ace_keyword { color: var(--s-kw); font-weight: 600; }
.ace-cone .ace_entity.ace_permission, .ace-cone .ace_permission { color: var(--s-perm); font-weight: 600; }
.ace-cone .ace_entity.ace_type, .ace-cone .ace_type { color: var(--s-type); }
.ace-cone .ace_function, .ace-cone .ace_support.ace_function { color: var(--s-fn); }
.ace-cone .ace_var { color: var(--s-var); }
.ace-cone .ace_string { color: var(--s-str); }
.ace-cone .ace_constant.ace_numeric, .ace-cone .ace_constant.ace_language { color: var(--s-num); }
.ace-cone .ace_constant.ace_other { color: var(--s-kw); }
.ace-cone .ace_comment { color: var(--s-com); font-style: italic; }
.ace-cone .ace_variable.ace_parameter { color: var(--s-var); }
.ace_editor { font-family: ui-monospace, SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace; }

/* narrow screens: one column, the page scrolls, panes stack */
@media (max-width: 860px) {
  html, body { height: auto; }
  body { display: block; }
  .top { flex-wrap: wrap; gap: 8px 12px; padding: 6px 12px; }
  .toplinks { margin-left: 0; width: 100%; order: 3; gap: 14px; }
  .layout { display: block; }
  .lesson .jump { display: inline-block; }
  .toolbar { scroll-margin-top: 110px; }
  .lesson { overflow: visible; border-right: 0; border-bottom: 1px solid var(--border); padding: 14px 16px 22px; }
  .work { display: block; }
  #editor-wrap { height: 52vh; min-height: 280px; }
  .result { min-height: 160px; }
  .bottomnav { position: sticky; bottom: 0; z-index: 25; }
  button { padding: 10px 14px; }
}
@media (max-width: 480px) {
  .brand em { display: none; }
  #lessons-btn { max-width: 62vw; }
}
@media (prefers-reduced-motion: reduce) { .result .spin { animation: none; } }