/* The book, dressed as a terminal. Overrides the "coal" theme: same teal as the TUI, monospace everywhere. */
:root, .coal, .light, .rust, .navy, .ayu {
  --bg: #04282a; --fg: #cfe0dc;
  --sidebar-bg: #031e20; --sidebar-fg: #9fc0ba; --sidebar-non-existant: #4d6e6a; --sidebar-active: #3b9eff; --sidebar-spacer: #1f5a5a;
  --scrollbar: #1f5a5a; --icons: #7fa09b; --icons-hover: #cfe0dc;
  --links: #3b9eff; --inline-code-color: #e3b341;
  --theme-popup-bg: #031e20; --theme-popup-border: #1f5a5a; --theme-hover: #063335;
  --quote-bg: #063335; --quote-border: #e3b341;
  --table-border-color: #1f5a5a; --table-header-bg: #063335; --table-alternate-bg: #052f31;
  --searchbar-border-color: #1f5a5a; --searchbar-bg: #031e20; --searchbar-fg: #cfe0dc; --searchbar-shadow-color: #000;
  --searchresults-header-fg: #7fa09b; --searchresults-border-color: #1f5a5a; --searchresults-li-bg: #063335; --search-mark-bg: #1b5e8a;
  --sidebar-header-border-color: #3b9eff; --color-scheme: dark;
  --mono-font: ui-monospace, "DejaVu Sans Mono", "Cascadia Mono", Menlo, Consolas, monospace;
  --content-max-width: 100ch;
}
html, body, .content, .menu-title, .sidebar, input, button { font-family: var(--mono-font) !important; }
body { font-size: 15px; line-height: 1.5; }
h1, h2, h3, h4 { font-weight: 700; line-height: 1.25; }
h1 { border-bottom: 1px solid #1f5a5a; padding-bottom: .3rem; }
h2::before { content: "── "; color: #7fa09b; } h3::before { content: "·· "; color: #7fa09b; }
.menu-title::before { content: "$ "; color: #4cc38a; }
pre { border: 1px solid #1f5a5a; background: #031e20; border-radius: 0; line-height: normal; }
pre > code { font-size: 12px; background: transparent; padding: .7rem .9rem; overflow-x: auto; }
code { border-radius: 0; }
blockquote { border-radius: 0; border-left: 3px solid #e3b341; margin-left: 0; }
.sidebar .chapter li a { border-radius: 0; }
.sidebar .chapter li.chapter-item.expanded > a.active, .sidebar .chapter li a.active { color: #3b9eff; font-weight: 700; }
.sidebar .chapter li a.active::before { content: "› "; }
#mdbook-menu-bar, .menu-bar { border-bottom: 1px solid #1f5a5a; background: var(--bg); }
table { border-radius: 0; }
a:hover { text-decoration: underline; }
::selection { background: #3b9eff; color: #fff; }
@media (prefers-reduced-motion: reduce) { * { scroll-behavior: auto !important; } }
.home-link { display: inline-flex; align-items: center; gap: .4rem; width: auto; padding: 0 .6rem; text-decoration: none; }
.home-link:hover { text-decoration: none; }
.home-label { font-size: .85em; }