/* style.css — docs/gen.py により出力される Shark リファレンスのスタイルシート */
:root {
  --bg: #ffffff; --ink: #1a2430; --dim: #5b6b7a; --line: #dde5ec;
  --link: #0e7490; --code-bg: #f5f8fa; --mark: #f0f6f9;
  --mono: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, "Noto Sans Mono", monospace;
  --ui: system-ui, -apple-system, "Hiragino Sans", "Noto Sans JP", sans-serif;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #10191f; --ink: #dbe6ee; --dim: #8ba0b0; --line: #24333e;
    --link: #56c8e8; --code-bg: #16222b; --mark: #16222b;
  }
}
* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--ink);
       font-family: var(--ui); font-size: 15px; line-height: 1.75; }
main { max-width: 52em; margin: 0 auto; padding: 0 20px 72px; }
a { color: var(--link); }

nav.toc { margin: 0 0 28px; padding: 12px 14px; border: 1px solid var(--line);
          border-radius: 8px; background: var(--mark); font-size: 14px; line-height: 2; }
nav.toc b { margin-right: 8px; color: var(--dim); font-weight: 600; }
nav.toc a { margin-right: 12px; white-space: nowrap; }
nav { margin: 0 -20px 28px; padding: 10px 20px; border-bottom: 1px solid var(--line);
      font-size: 13px; line-height: 2.1; }
nav a { margin-right: 14px; text-decoration: none; color: var(--dim); }
nav a:hover { color: var(--link); text-decoration: underline; }
nav a.here { color: var(--ink); font-weight: 600; }

h1 { font-size: 26px; margin: 22px 0 10px; }
h2 { font-size: 19px; margin: 40px 0 8px; padding-bottom: 5px; border-bottom: 1px solid var(--line); }
p.lead { margin: 8px 0; color: var(--dim); }
footer { margin-top: 56px; padding-top: 12px; border-top: 1px solid var(--line);
         color: var(--dim); font-size: 12px; }

.quick { margin: 18px 0 8px; padding: 12px 14px; background: var(--mark);
         border: 1px solid var(--line); border-radius: 6px; font-family: var(--mono);
         font-size: 12.5px; line-height: 2; }
.quick a { margin-right: 12px; text-decoration: none; white-space: nowrap; }
.quick a:hover { text-decoration: underline; }

dl.item { margin: 26px 0 0; }
dl.item dt { font-family: var(--mono); font-size: 14px; padding: 4px 0 4px 10px;
             border-left: 3px solid var(--line); }
dl.item dt .nm { font-weight: 700; }
dl.item dt .ty, dl.item dt .pm { color: var(--dim); }
dl.item dd { margin: 6px 0 0 13px; }
dl.item dd p { margin: 6px 0; }
.pl { float: right; color: var(--line); text-decoration: none; font-size: 13px; }
dl.item:hover .pl { color: var(--dim); }

table.args { border-collapse: collapse; margin: 8px 0; font-size: 14px; }
table.args th { text-align: left; font-family: var(--mono); font-weight: 500;
                padding: 2px 14px 2px 0; vertical-align: top; white-space: nowrap; }
table.args td { padding: 2px 0; color: var(--dim); }
table.args td.ty { font-family: var(--mono); padding-right: 14px; white-space: nowrap; }
p.ret, p.note, p.ovl { color: var(--dim); font-size: 13.5px; }
p.ovl code { font-family: var(--mono); font-size: 12.5px; background: var(--code-bg);
             border: 1px solid var(--line); border-radius: 4px; padding: 1px 5px; }

pre.ex { margin: 10px 0 0; padding: 10px 12px; overflow-x: auto;
         background: var(--code-bg); border: 1px solid var(--line); border-radius: 6px;
         font-family: var(--mono); font-size: 12.5px; line-height: 1.65; }
code { font-family: var(--mono); font-size: 0.92em; }

table.toc { border-collapse: collapse; width: 100%; margin: 12px 0; }
table.toc th { text-align: left; font-weight: 600; padding: 5px 14px 5px 0;
               white-space: nowrap; vertical-align: top; }
table.toc td { padding: 5px 0; color: var(--dim); }
table.toc td.n { text-align: right; white-space: nowrap; padding-left: 14px; }

/* 言語リファレンス（guide.html。Markdown からレンダリングされた領域）*/
main > table { border-collapse: collapse; width: 100%; margin: 14px 0; font-size: 14px; }
main > table th, main > table td { border: 1px solid var(--line); padding: 6px 10px;
                                   text-align: left; vertical-align: top; }
main > table th { background: var(--mark); font-weight: 600; white-space: nowrap; }
main > ul, main > ol { padding-left: 1.4em; }
main > ul li, main > ol li { margin: 3px 0; }
hr { border: 0; border-top: 1px solid var(--line); margin: 32px 0; }

ul.index { columns: 3 12em; list-style: none; margin: 12px 0; padding: 0;
           font-family: var(--mono); font-size: 12.5px; line-height: 1.9; }
ul.index a { text-decoration: none; }
ul.index a:hover { text-decoration: underline; }