/* Manifold docs theme: the olive neutrals and brass of docs/manifold-look.md (§Colour),
   mapped onto mdBook's variables. One theme; no light/dark alternatives. */

:root {
    /* Manifold tokens */
    --m-bg: #2a2f25;          /* menu bar, title strips */
    --m-panel: #353c30;       /* sidebar and content surfaces */
    --m-raised: #414a3b;      /* buttons, raised controls */
    --m-hover: #4a5443;       /* hovered raised controls */
    --m-well: #20251c;        /* code blocks, inputs, the search field */
    --m-edge-hi: #5a654f;     /* top highlight on raised; bottom lip on sunken */
    --m-edge-sh: #181c15;     /* outlines, bottom shadow, pane separators */
    --m-text: #eceee4;
    --m-text-dim: #b4bba8;
    --m-text-disabled: #7d8574;
    --m-brass: #e8c547;       /* state only: active item, focus, selection, current page */
    --m-brass-ink: #1d1a08;   /* text on brass */
    --m-brass-dim: #6d6522;
    --m-ok: #6cc7a0;          /* status only */
    --m-warn: #e8873a;
    --m-error: #e5605a;
    --m-info: #8fb3d9;        /* links, neutral notices */

    /* Layout on a 4px grid */
    --sidebar-target-width: 296px;
    --sidebar-width: min(var(--sidebar-target-width), 80vw);
    --sidebar-resize-indicator-width: 8px;
    --sidebar-resize-indicator-space: 4px;
    --page-padding: 16px;
    --content-max-width: 800px;
    --menu-bar-height: 48px;
    --body-font: "Source Sans 3", "Source Sans Pro", "Segoe UI", Roboto, "Noto Sans", "Helvetica Neue", Arial, sans-serif;
    --mono-font: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace;
    --code-font-size: 0.875em;
    --searchbar-margin-block-start: 4px;

    /* mdBook's variables */
    --bg: var(--m-panel);
    --fg: var(--m-text);

    --sidebar-bg: var(--m-panel);
    --sidebar-fg: var(--m-text-dim);
    --sidebar-non-existant: var(--m-text-disabled);
    --sidebar-active: var(--m-brass-ink);
    --sidebar-spacer: var(--m-edge-sh);
    --sidebar-header-border-color: var(--m-edge-hi);

    --scrollbar: var(--m-edge-hi);

    --icons: var(--m-text-dim);
    --icons-hover: var(--m-text);

    --links: var(--m-info);

    --inline-code-color: var(--m-text);

    --theme-popup-bg: var(--m-panel);
    --theme-popup-border: var(--m-edge-sh);
    --theme-hover: var(--m-hover);

    --quote-bg: var(--m-bg);
    --quote-border: var(--m-edge-sh);

    --warning-border: var(--m-warn);

    --table-border-color: var(--m-edge-sh);
    --table-header-bg: var(--m-bg);
    --table-alternate-bg: var(--m-panel);

    --searchbar-border-color: var(--m-edge-sh);
    --searchbar-bg: var(--m-well);
    --searchbar-fg: var(--m-text);
    --searchbar-shadow-color: transparent;
    --searchresults-header-fg: var(--m-text-dim);
    --searchresults-border-color: var(--m-edge-sh);
    --searchresults-li-bg: var(--m-panel);
    --search-mark-bg: var(--m-brass);

    --color-scheme: dark;

    /* The copy button is an image tinted by filter: text_dim, then text on hover. */
    --copy-button-filter: invert(84%) sepia(8%) saturate(380%) hue-rotate(40deg) brightness(92%);
    --copy-button-filter-hover: invert(97%) sepia(6%) saturate(300%) hue-rotate(20deg) brightness(102%);

    --footnote-highlight: var(--m-brass);

    --overlay-bg: rgba(18, 20, 16, 0.7);

    --blockquote-note-color: var(--m-info);
    --blockquote-tip-color: var(--m-ok);
    --blockquote-important-color: var(--m-info);
    --blockquote-warning-color: var(--m-warn);
    --blockquote-caution-color: var(--m-error);
}