/* Single-column, GitHub-markdown look (same family as the Verible docs site). */
:root {
  --border: #d0d7de;
  --border-light: #eaecef;
  --text: #1f2328;
  --muted: #59636e;
  --accent: #0969da;
  --code-bg: #f6f8fa;
  --warn-bg: #fff8c5;
  --warn-border: #d4a72c;
  --note-bg: #ddf4ff;
  --note-border: #54aeff;
}
* { box-sizing: border-box; }
html, body { margin: 0; background: #fff; }
body {
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", "Noto Sans", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji";
  font-size: 16px; line-height: 1.5; color: var(--text); word-wrap: break-word;
}
.container { max-width: 1012px; margin: 32px auto; padding: 0 16px; }
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }
code, pre, kbd { font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace; }
code { background: var(--code-bg); padding: 0.2em 0.4em; border-radius: 6px; font-size: 85%; }
pre { background: var(--code-bg); border-radius: 6px; padding: 16px; overflow: auto; font-size: 85%; line-height: 1.45; margin: 0 0 16px; }
pre code { background: none; padding: 0; font-size: 100%; }
kbd { background: var(--code-bg); border: 1px solid var(--border); border-bottom-width: 2px; border-radius: 6px; padding: 2px 5px; font-size: 11px; line-height: 10px; }
h1, h2, h3 { margin: 24px 0 16px; font-weight: 600; line-height: 1.25; }
h1 { font-size: 2em; padding-bottom: 0.3em; border-bottom: 1px solid var(--border-light); }
h2 { font-size: 1.5em; padding-bottom: 0.3em; border-bottom: 1px solid var(--border-light); }
h3 { font-size: 1.25em; }
p, ul, ol { margin: 0 0 16px; }
ul, ol { padding-left: 2em; }
li + li { margin-top: 0.25em; }
table { border-collapse: collapse; display: block; width: 100%; max-width: 100%; overflow: auto; margin: 0 0 16px; }
th, td { padding: 6px 13px; border: 1px solid var(--border); vertical-align: top; }
th { font-weight: 600; }
tr:nth-child(2n) { background: var(--code-bg); }
img.shot { max-width: 100%; border: 1px solid var(--border); border-radius: 6px; }
figure { margin: 16px 0 24px; }
figcaption { color: var(--muted); font-size: 14px; margin-top: 6px; }
.note, .warn { border-left: 4px solid var(--note-border); background: var(--note-bg); padding: 8px 16px; margin: 16px 0; }
.warn { border-color: var(--warn-border); background: var(--warn-bg); }
.lead { font-size: 1.1em; color: var(--muted); }
.badges img { vertical-align: middle; }

/* header: logo + page links */
.site-header img { display: block; width: 100%; max-width: 550px; height: auto; margin-bottom: 8px; }
.site-nav { display: flex; flex-wrap: wrap; gap: 4px 14px; padding: 8px 0; margin-bottom: 8px; border-bottom: 1px solid var(--border-light); font-size: 14px; }
.site-nav a.active { font-weight: 600; color: var(--text); }
footer.site { color: var(--muted); font-size: 12px; margin-top: 40px; padding-top: 16px; border-top: 1px solid var(--border-light); }

/* landing cards */
.cards { display: grid; grid-template-columns: repeat(auto-fit, minmax(230px, 1fr)); gap: 16px; margin: 0 0 24px; }
.card { border: 1px solid var(--border); border-radius: 6px; padding: 16px; }
.card h3 { margin: 0 0 8px; font-size: 1em; }
.card p { margin: 0 0 8px; font-size: 14px; color: var(--muted); }
.card a.more { font-size: 14px; }

/* live tour */
.tour { border: 1px solid var(--border); border-radius: 6px; overflow: hidden; margin: 16px 0 24px; }
.tour .bar { display: flex; align-items: center; gap: 8px; padding: 8px 12px; background: var(--code-bg); border-bottom: 1px solid var(--border); flex-wrap: wrap; }
.tour .bar button { border: 1px solid var(--border); background: #fff; border-radius: 6px; padding: 3px 10px; font: inherit; font-size: 13px; cursor: pointer; }
.tour .bar button.primary { background: #1f883d; color: #fff; border-color: #1f883d; }
.tour .bar .step { font-size: 13px; color: var(--muted); }
.tour .text { padding: 10px 14px; font-size: 14px; border-bottom: 1px solid var(--border); min-height: 60px; }
.tour .text b { display: block; margin-bottom: 2px; }
.tour iframe { display: block; width: 100%; height: 640px; border: 0; background: #fafbfc; }
.tour .blocked { padding: 14px; color: #7d4e00; background: var(--warn-bg); font-size: 14px; display: none; }