:root { --mdc-theme-primary: #26a69a; --mdc-theme-secondary: #00897b; --mdc-theme-on-primary: #ffffff; --color-page: #f5f5f5; --color-surface: #ffffff; --color-surface-variant: #fafafa; --color-surface-hover: #f0f0f0; --color-table-header: #eeeeee; --color-ink: #263238; --color-muted: #757575; --color-line: #e0e0e0; --color-focus: #00695c; --color-success: #009688; --color-failure: #f44336; --color-addition: #e0f2f1; --color-removal: #ffebee; --color-code-surface: #ffffff; --color-code-added: #dafbe1; --color-code-removed: #ffebe9; --color-code-text: #24292f; --color-code-comment: #57606a; --color-code-accent: #0550ae; --color-code-keyword: #cf222e; --color-code-tactic: #8250df; --color-code-number: #953800; --color-code-line-number: #57606a; --color-code-added-marker: #1a7f37; --color-code-removed-marker: #cf222e; --color-code-header: #f6f8fa; --color-code-border: #d0d7de; --shape-small: .125rem; --mdc-shape-small: var(--shape-small); --type-display: 2.125rem; --type-display-compact: 1.75rem; --type-heading: 1.5rem; --type-label: .75rem; --type-code: .875rem; --type-code-compact: .75rem; --line-code: 1.5; --space-1: .25rem; --space-2: .5rem; --space-3: .75rem; --space-4: 1rem; --space-6: 1.5rem; --space-8: 2rem; --space-10: 2.5rem; --space-12: 3rem; --app-bar-height: 4rem; --content-width: 76rem; --elevation-menu: 0 .1875rem .375rem #00000029; --motion-fast: 120ms ease-out; }
* { box-sizing: border-box; }
body { margin: 0; color: var(--color-ink); background: var(--color-page); font-family: Roboto, sans-serif; line-height: 1.5; }
a { color: var(--mdc-theme-primary); text-decoration: none; }
a:focus-visible, summary:focus-visible { outline: .125rem solid var(--color-focus); outline-offset: .125rem; }
.skip-link { position: absolute; top: -4rem; left: var(--space-4); z-index: 3; padding: var(--space-2) var(--space-3); background: var(--color-surface); }
.skip-link:focus { top: var(--space-4); }
.site-header.mdc-top-app-bar { position: static; }
.site-header .mdc-top-app-bar__row { max-width: var(--content-width); height: var(--app-bar-height); margin: 0 auto; padding: 0 var(--space-4); }
.site-header .mdc-top-app-bar__section--align-end { gap: var(--space-2); }
.site-header .mdc-top-app-bar__title { color: var(--mdc-theme-on-primary); letter-spacing: .0625rem; text-transform: uppercase; white-space: nowrap; }
.site-header .mdc-button { color: var(--mdc-theme-on-primary); }
.site-header .mdc-button::before, .site-header .mdc-button::after { background-color: var(--mdc-theme-on-primary); }
.site-header .mdc-button:hover { color: var(--mdc-theme-on-primary); }
.app-bar-location { color: var(--mdc-theme-on-primary); font-size: var(--type-code); letter-spacing: .0625rem; padding: var(--space-2); text-transform: uppercase; white-space: nowrap; }
.page-content { width: 100%; max-width: var(--content-width); margin: 0 auto; padding: var(--space-10) var(--space-6) var(--space-12); }
.hero { width: 100%; max-width: 48rem; margin-bottom: var(--space-8); }
.hero h1, h1 { margin: 0 0 var(--space-3); font: 400 var(--type-display)/1.18 Roboto, sans-serif; letter-spacing: -.015em; text-wrap: balance; }
h2 { margin: 0 0 var(--space-4); font: 400 var(--type-heading)/1.25 Roboto, sans-serif; letter-spacing: -.01em; }
.eyebrow { margin: 0 0 var(--space-2); color: var(--color-muted); font-size: var(--type-label); font-weight: 500; letter-spacing: .08em; text-transform: uppercase; }
.notice { padding: var(--space-6); border: 1px solid var(--color-line); border-radius: var(--shape-small); background: var(--color-surface); }
.metadata, .task-actions { display: flex; flex-wrap: wrap; align-items: center; gap: var(--space-3); }
.table-wrap { overflow-x: auto; }
.table-wrap .mdc-data-table { border: 1px solid var(--color-line); border-radius: var(--shape-small); background: var(--color-surface); }
.pr-table .mdc-data-table__header-cell { color: var(--color-ink); background: var(--color-table-header); font-weight: 500; }
.pr-table .mdc-data-table__row { transition: background-color var(--motion-fast); }
.pr-table .mdc-data-table__row:hover, .pr-table .mdc-data-table__row:focus-within { background: var(--color-surface-hover); }
.status, .variant-link { display: inline-flex; align-items: center; min-height: 1.75rem; padding: 0 var(--space-2); border: 1px solid var(--color-line); border-radius: var(--shape-small); font-size: var(--type-code); font-weight: 500; line-height: 1; text-decoration: none; }
.status { text-transform: capitalize; }
.status-current { background: var(--color-table-header); color: var(--color-ink); }
.status-published { background: var(--color-addition); color: #00695c; }
.status-failed, .status-ci-failed, .status-artifact-missing { background: var(--color-removal); color: var(--color-failure); }
.status-link { text-decoration: none; }
.commit-link code { text-decoration: underline; text-underline-offset: .18em; }
.variant-groups { display: grid; gap: var(--space-3); }
.variant-groups + h2 { margin-top: var(--space-8); }
.variant-links { display: flex; flex-wrap: wrap; gap: var(--space-2); }
.variant-group { display: grid; grid-template-columns: 3rem 1fr; gap: var(--space-3); align-items: baseline; padding-top: var(--space-2); border-top: 1px solid var(--color-line); }
.variant-group h3 { margin: 0; color: var(--color-muted); font-size: var(--type-label); font-weight: 500; letter-spacing: .08em; }
.variant-menu { position: relative; flex: 0 0 auto; max-width: 100%; }
.variant-menu summary { cursor: pointer; list-style: none; }
.variant-menu summary::-webkit-details-marker { display: none; }
.variant-menu[open] .variant-groups { position: absolute; z-index: 3; right: 0; width: min(20rem, calc(100vw - var(--space-8))); max-height: 18rem; overflow: auto; margin-top: var(--space-2); padding: var(--space-3); border: 1px solid var(--color-line); border-radius: var(--shape-small); background: var(--color-surface); box-shadow: var(--elevation-menu); }
.variant-link:hover, .variant-link:focus-visible, .variant-link[aria-current="page"] { color: var(--color-focus); background: #e0f2f1; border-color: var(--mdc-theme-primary); }
.archive-page { display: grid; min-height: 100dvh; grid-template-rows: minmax(0, 1fr) auto; }
.archive-page .site-header { display: none; }
.archive-page .page-content { max-width: none; min-height: 0; padding: 0; }
.archive-shell { display: grid; height: 100%; min-height: 0; grid-template-rows: auto minmax(0, 1fr); }
.archive-toolbar.mdc-top-app-bar { position: sticky; top: 0; z-index: 2; background: var(--color-surface); }
.archive-toolbar .mdc-top-app-bar__row { height: auto; min-height: var(--app-bar-height); padding: var(--space-2) var(--space-4); }
.archive-toolbar .mdc-top-app-bar__section { flex-wrap: wrap; min-height: 0; gap: var(--space-3); }
.compare-label { color: var(--color-muted); font-size: var(--type-code); }
iframe.archive-frame { width: 100%; height: 100%; min-height: 0; border: 0; background: var(--color-surface); }
.diff-variant-menu { margin-bottom: var(--space-6); }
.diff-review-shell { margin-top: var(--space-6); overflow: hidden; border: 1px solid var(--color-code-border); border-radius: var(--shape-small); background: var(--color-code-surface); }
.diff-file-header { padding: var(--space-3) var(--space-4); border-bottom: 1px solid var(--color-code-border); background: var(--color-code-header); }
.diff-file-header h2 { margin: 0; color: var(--color-code-text); font: 500 1.125rem/1.3 "Roboto Mono", ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", monospace; }
.diff-code-shell { overflow-x: auto; background: var(--color-code-surface); }
.diff-code-block { width: max-content; min-width: 100%; margin: 0; }
code.diff-code { display: block; min-width: max-content; color: var(--color-code-text); font-family: "Roboto Mono", ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", monospace; font-size: var(--type-code); font-variant-ligatures: none; line-height: var(--line-code); tab-size: 2; white-space: pre; }
.diff-row { display: block; min-width: max-content; padding: var(--space-1) var(--space-2); }
.diff-row.added { background: var(--color-code-added); }
.diff-row.removed { background: var(--color-code-removed); }
.diff-line, .diff-marker { display: inline-block; color: var(--color-code-line-number); text-align: right; user-select: none; }
.diff-line { width: 4ch; }
.diff-marker { width: 2ch; color: var(--color-code-text); text-align: center; }
.diff-row.added .diff-marker { color: var(--color-code-added-marker); }
.diff-row.removed .diff-marker { color: var(--color-code-removed-marker); }
.diff-source { display: inline; min-width: max-content; color: var(--color-code-text); }
.lean-comment { color: var(--color-code-comment); }
.lean-string { color: var(--color-code-accent); }
.lean-keyword { color: var(--color-code-keyword); }
.lean-tactic { color: var(--color-code-tactic); font-weight: 700; }
.lean-constant { color: var(--color-code-accent); }
.lean-number { color: var(--color-code-number); }
.empty { color: var(--color-muted); }
.site-footer { max-width: var(--content-width); margin: 0 auto; padding: var(--space-4) var(--space-6) var(--space-6); color: var(--color-muted); font-size: var(--type-code); }
.generated-at { margin: 0; border-top: 1px solid var(--color-line); padding-top: var(--space-4); }
@media (max-width: 48rem) { html, body { width: 100%; max-width: 100%; overflow-x: hidden; } .site-header, .site-header .mdc-top-app-bar__row, .site-header .mdc-top-app-bar__section, .page-content, .hero, .notice { min-width: 0; max-width: 100%; } .site-header .mdc-top-app-bar__row { display: flex; flex-direction: column; align-items: stretch; width: 100%; height: auto; min-height: var(--app-bar-height); padding-block: var(--space-2); } .site-header .mdc-top-app-bar__section { min-height: 0; } .site-header .mdc-top-app-bar__section--align-start { justify-content: flex-start; } .site-header .mdc-top-app-bar__section--align-end { justify-content: flex-start; margin-left: 0; } .site-header .mdc-button:first-child { margin-left: calc(-1 * var(--space-2)); } .app-bar-location { display: none; } .page-content { width: 100vw; overflow-wrap: break-word; padding: var(--space-6) var(--space-4) var(--space-8); } .archive-page .page-content { width: 100%; padding: 0; } .hero { width: 100%; } .hero h1, h1 { max-width: 100%; font-size: var(--type-display-compact); overflow-wrap: break-word; text-wrap: wrap; white-space: normal; } .hero p, main p { max-width: 100%; overflow-wrap: break-word; text-wrap: wrap; white-space: normal; } .notice { padding: var(--space-4); } .table-wrap, .diff-code-shell { width: 100%; max-width: 100%; overflow-x: auto; } .variant-group { grid-template-columns: 1fr; } .variant-menu { width: 100%; } .variant-menu summary { width: 100%; } .variant-menu[open] .variant-groups { position: static; width: 100%; max-height: none; margin-top: var(--space-2); } .archive-toolbar .mdc-top-app-bar__row { flex-wrap: wrap; } .archive-toolbar .mdc-top-app-bar__section--align-start { flex: 1 1 100%; } .archive-toolbar .mdc-top-app-bar__section--align-end { width: 100%; margin-left: 0; } .diff-file-header { padding: var(--space-2) var(--space-3); } .diff-line { width: 3ch; } code.diff-code { font-size: var(--type-code-compact); } }