| 1 | /* goframework.io: the look. Light by default, dark with the system or the |
| 2 | switch; Lato for text, JetBrains Mono for code, output and samples |
| 3 | (both in assets/fonts, each under the SIL Open Font License, its OFL-*.txt |
| 4 | there); nothing loaded from elsewhere. --sans, --mono and --code-size |
| 5 | below choose them. */ |
| 6 | |
| 7 | /* Lato: regular, italic and bold, one file per script each */ |
| 8 | @font-face { |
| 9 | font-family: "Lato"; |
| 10 | font-style: italic; |
| 11 | font-weight: 400; |
| 12 | font-display: swap; |
| 13 | src: url("fonts/lato-400-italic-latin-ext.woff2") format("woff2"); |
| 14 | unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C4, U+2113, U+2C60-2C7F, U+A720-A7FF; |
| 15 | } |
| 16 | @font-face { |
| 17 | font-family: "Lato"; |
| 18 | font-style: italic; |
| 19 | font-weight: 400; |
| 20 | font-display: swap; |
| 21 | src: url("fonts/lato-400-italic-latin.woff2") format("woff2"); |
| 22 | unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; |
| 23 | } |
| 24 | @font-face { |
| 25 | font-family: "Lato"; |
| 26 | font-style: normal; |
| 27 | font-weight: 400; |
| 28 | font-display: swap; |
| 29 | src: url("fonts/lato-400-latin-ext.woff2") format("woff2"); |
| 30 | unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C4, U+2113, U+2C60-2C7F, U+A720-A7FF; |
| 31 | } |
| 32 | @font-face { |
| 33 | font-family: "Lato"; |
| 34 | font-style: normal; |
| 35 | font-weight: 400; |
| 36 | font-display: swap; |
| 37 | src: url("fonts/lato-400-latin.woff2") format("woff2"); |
| 38 | unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; |
| 39 | } |
| 40 | @font-face { |
| 41 | font-family: "Lato"; |
| 42 | font-style: normal; |
| 43 | font-weight: 700; |
| 44 | font-display: swap; |
| 45 | src: url("fonts/lato-700-latin-ext.woff2") format("woff2"); |
| 46 | unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C4, U+2113, U+2C60-2C7F, U+A720-A7FF; |
| 47 | } |
| 48 | @font-face { |
| 49 | font-family: "Lato"; |
| 50 | font-style: normal; |
| 51 | font-weight: 700; |
| 52 | font-display: swap; |
| 53 | src: url("fonts/lato-700-latin.woff2") format("woff2"); |
| 54 | unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; |
| 55 | } |
| 56 | |
| 57 | /* JetBrains Mono, a variable font: every weight in one file per script */ |
| 58 | @font-face { |
| 59 | font-family: "JetBrains Mono"; |
| 60 | font-style: normal; |
| 61 | font-weight: 100 800; |
| 62 | font-display: swap; |
| 63 | src: url("fonts/jetbrains-mono-latin.woff2") format("woff2"); |
| 64 | unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; |
| 65 | } |
| 66 | @font-face { |
| 67 | font-family: "JetBrains Mono"; |
| 68 | font-style: normal; |
| 69 | font-weight: 100 800; |
| 70 | font-display: swap; |
| 71 | src: url("fonts/jetbrains-mono-latin-ext.woff2") format("woff2"); |
| 72 | unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C4, U+2113, U+2C60-2C7F, U+A720-A7FF; |
| 73 | } |
| 74 | |
| 75 | :root { |
| 76 | --bg: #f5f6fa; --surface: #ffffff; --surface-2: #f0f1f6; --text: #1d2130; --muted: #5d6478; --faint: #8a90a3; |
| 77 | --line: #dde0ea; --line-strong: #c4c9da; --accent: #4f55c9; --accent-soft: #e9eafb; --accent-text: #3a3fae; |
| 78 | --hot: #e46b2d; --hot-soft: #fdeee4; --ok: #1f8a4c; --ok-soft: #e4f4ea; --error: #c63a3a; --error-soft: #fbe8e8; |
| 79 | --busy: #3d6fd6; --busy-soft: #e6eefc; --usual: #8a6d3b; --usual-soft: #f7f1e6; |
| 80 | --card-outside: #eceef3; --card-decision: #eeefff; --card-state: #f3f0ff; --card-effect: #ffffff; |
| 81 | --border-decision: #a9ade8; --border-state: #b9a9e8; --border-effect: #c4c9da; --border-outside: #c9ccd6; |
| 82 | --code-bg: #f6f7fa; --mark: #ffe58f; |
| 83 | --shadow: 0 1px 2px rgb(20 24 40 / 6%), 0 4px 14px rgb(20 24 40 / 6%); |
| 84 | --radius: 6px; |
| 85 | --sans: "Lato", system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif; |
| 86 | --code-size: 12.5px; /* code, output and samples */ |
| 87 | --mono: "JetBrains Mono", ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace; |
| 88 | color-scheme: light; |
| 89 | } |
| 90 | @media (prefers-color-scheme: dark) { |
| 91 | :root:not([data-theme="light"]) { |
| 92 | --bg: #0e1016; --surface: #161922; --surface-2: #1c2030; --text: #e6e8f0; --muted: #a2a8bb; --faint: #7a8096; |
| 93 | --line: #2a2f40; --line-strong: #3a4058; --accent: #8f94ff; --accent-soft: #23264a; --accent-text: #b7baff; |
| 94 | --hot: #ff8a4c; --hot-soft: #3a2418; --ok: #4cc27f; --ok-soft: #16301f; --error: #ff6b6b; --error-soft: #3a1c1c; |
| 95 | --busy: #6f9bff; --busy-soft: #1a2747; --usual: #d2b07a; --usual-soft: #2c2416; |
| 96 | --card-outside: #1b1e27; --card-decision: #1d2040; --card-state: #231d3d; --card-effect: #171a24; |
| 97 | --border-decision: #4d52a8; --border-state: #6450a8; --border-effect: #3a4058; --border-outside: #3a3f50; |
| 98 | --code-bg: #11131b; --mark: #6b5a12; --shadow: 0 1px 2px rgb(0 0 0 / 40%), 0 4px 14px rgb(0 0 0 / 30%); |
| 99 | color-scheme: dark; |
| 100 | } |
| 101 | } |
| 102 | :root[data-theme="dark"] { |
| 103 | --bg: #0e1016; --surface: #161922; --surface-2: #1c2030; --text: #e6e8f0; --muted: #a2a8bb; --faint: #7a8096; |
| 104 | --line: #2a2f40; --line-strong: #3a4058; --accent: #8f94ff; --accent-soft: #23264a; --accent-text: #b7baff; |
| 105 | --hot: #ff8a4c; --hot-soft: #3a2418; --ok: #4cc27f; --ok-soft: #16301f; --error: #ff6b6b; --error-soft: #3a1c1c; |
| 106 | --busy: #6f9bff; --busy-soft: #1a2747; --usual: #d2b07a; --usual-soft: #2c2416; |
| 107 | --card-outside: #1b1e27; --card-decision: #1d2040; --card-state: #231d3d; --card-effect: #171a24; |
| 108 | --border-decision: #4d52a8; --border-state: #6450a8; --border-effect: #3a4058; --border-outside: #3a3f50; |
| 109 | --code-bg: #11131b; --mark: #6b5a12; --shadow: 0 1px 2px rgb(0 0 0 / 40%), 0 4px 14px rgb(0 0 0 / 30%); |
| 110 | color-scheme: dark; |
| 111 | } |
| 112 | |
| 113 | * { box-sizing: border-box; } |
| 114 | body { margin: 0; background: var(--bg); color: var(--text); font: 16px/1.5 var(--sans); -webkit-text-size-adjust: 100%; } |
| 115 | a { color: var(--accent-text); text-underline-offset: 2px; } |
| 116 | code, pre, kbd { font-family: var(--mono); font-size: 0.88em; font-variant-ligatures: none; font-feature-settings: "liga" 0, "calt" 0; } /* code shows the characters typed: != stays !=, not a ligature */ |
| 117 | code { background: var(--code-bg); padding: 0.1em 0.35em; border-radius: 3px; } |
| 118 | pre { margin: 0; tab-size: 4; } |
| 119 | pre code { background: none; padding: 0; font-size: inherit; } |
| 120 | button, input, select { font: inherit; color: inherit; } |
| 121 | :focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; } |
| 122 | .visually-hidden { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; } |
| 123 | .muted { color: var(--muted); } |
| 124 | .wrap { max-width: 1280px; margin: 0 auto; padding: 0 16px; } |
| 125 | h1 { font-size: clamp(26px, 3.6vw, 40px); line-height: 1.15; letter-spacing: -0.02em; margin: 4px 0 8px; } |
| 126 | h2 { font-size: 20px; letter-spacing: -0.01em; margin: 0 0 8px; } |
| 127 | |
| 128 | /* header */ |
| 129 | .top { position: sticky; top: 0; z-index: 40; display: flex; align-items: center; gap: 12px; height: 58px; padding: 0 14px; |
| 130 | background: color-mix(in srgb, var(--bg) 90%, transparent); backdrop-filter: blur(10px); -webkit-backdrop-filter: blur(10px); border-bottom: 1px solid var(--line); } |
| 131 | /* the brand and the trail after it, one style: goframework/config* */ |
| 132 | /* the trail continues the logo's wordmark: the same lowercase height |
| 133 | (92/464 of the logo's 40px; Lato's is 0.506 of its size), regular */ |
| 134 | .top .crumbs-bar .crumb, .top .crumbs-bar .crumb-sep { font-family: var(--sans); font-size: 15.7px; font-weight: 400; color: var(--text); |
| 135 | text-decoration: none; white-space: nowrap; letter-spacing: 0; } |
| 136 | .top .crumbs-bar a.crumb:hover { text-decoration: underline; text-underline-offset: 3px; } |
| 137 | /* the logo, in the variant for the page's theme */ |
| 138 | .brand { display: inline-flex; align-items: center; flex: none; } |
| 139 | .brand .logo { display: block; height: 40px; width: auto; } |
| 140 | .brand .logo.dark, .brand .logo.icon { display: none; } |
| 141 | :root[data-theme="dark"] .brand .logo.light { display: none; } |
| 142 | :root[data-theme="dark"] .brand .logo.dark { display: block; } |
| 143 | @media (prefers-color-scheme: dark) { |
| 144 | :root:not([data-theme="light"]) .brand .logo.light { display: none; } |
| 145 | :root:not([data-theme="light"]) .brand .logo.dark { display: block; } |
| 146 | } |
| 147 | .menu-button { display: none; } |
| 148 | .top .crumbs-bar { flex: 1; min-width: 0; display: flex; align-items: baseline; gap: 0; margin-left: -11px; white-space: nowrap; overflow: hidden; } |
| 149 | .top .crumbs-bar .crumb.current { overflow: hidden; text-overflow: ellipsis; } |
| 150 | .top nav { display: flex; gap: 14px; align-items: center; margin-left: auto; } |
| 151 | .top nav a { color: var(--muted); text-decoration: none; font-size: 15px; white-space: nowrap; } |
| 152 | .top nav a:hover, .top nav a.current { color: var(--text); } |
| 153 | .icon-button { border: 1px solid var(--line); background: var(--surface); border-radius: 4px; width: 36px; height: 34px; cursor: pointer; font-size: 17px; flex: none; } |
| 154 | .header-links { display: flex; gap: 6px; } |
| 155 | .icon-button { display: inline-grid; place-items: center; padding: 0; } |
| 156 | a.icon-button, .header-links button.icon-button { color: var(--muted); text-decoration: none; } |
| 157 | a.icon-button:hover, .header-links button.icon-button:hover { color: var(--text); border-color: var(--line-strong); } |
| 158 | |
| 159 | /* the two panes */ |
| 160 | .shell { display: grid; grid-template-columns: 260px minmax(0, 1fr); min-height: calc(100vh - 58px); } |
| 161 | .side { position: sticky; top: 58px; height: calc(100vh - 58px); overflow-y: auto; border-right: 1px solid var(--line); background: var(--surface); |
| 162 | padding: 8px 6px 16px; scrollbar-width: thin; } |
| 163 | .side-nav { display: grid; gap: 1px; } |
| 164 | .side-link, .side-group, .side-module { display: grid; text-decoration: none; color: var(--text); border-radius: 4px; } |
| 165 | .side-link { grid-template-columns: 1fr auto; padding: 4px 8px; font-weight: 600; font-size: 14px; } |
| 166 | .side-heading { margin: 10px 8px 4px; font-size: 11.5px; text-transform: uppercase; letter-spacing: 0.08em; color: var(--faint); } |
| 167 | .side-search { position: relative; margin: 2px 2px 6px; } |
| 168 | .side-filter { width: 100%; height: 30px; border: 1px solid var(--line-strong); background: var(--bg); border-radius: 4px; padding: 0 28px 0 8px; font-size: 13.5px; } |
| 169 | .side-search kbd { position: absolute; right: 7px; top: 6px; border: 1px solid var(--line-strong); border-radius: 3px; padding: 0 4px; font-size: 11px; color: var(--faint); pointer-events: none; } |
| 170 | .side-filter:focus + kbd, .side-filter:not(:placeholder-shown) + kbd { display: none; } |
| 171 | .side-list { display: grid; gap: 1px; } |
| 172 | .side-empty { margin: 6px 8px; font-size: 13px; color: var(--muted); } |
| 173 | .side-all { display: block; margin: 8px 8px 0; font-size: 13px; } |
| 174 | .side-group { grid-template-columns: 1fr auto; column-gap: 8px; padding: 3px 8px; position: relative; } |
| 175 | .side-group code { background: none; padding: 0; font-size: 13.5px; font-weight: 600; color: var(--text); } |
| 176 | .side-title { grid-column: 1 / -1; font-size: 12.5px; color: var(--muted); line-height: 1.3; } |
| 177 | .side-count { font-size: 11.5px; color: var(--faint); font-variant-numeric: tabular-nums; align-self: center; } |
| 178 | .side-link:hover, .side-group:hover, .side-module:hover { background: var(--surface-2); } |
| 179 | .side-link.current, .side-group.current { background: var(--accent-soft); } |
| 180 | .side-group.current code, .side-link.current { color: var(--accent-text); } |
| 181 | .side-group.current::before { content: ""; position: absolute; left: 0; top: 5px; bottom: 5px; width: 3px; border-radius: 2px; background: var(--accent); } |
| 182 | .side-modules { display: grid; gap: 0; margin: 1px 0 4px 12px; padding-left: 8px; border-left: 1px solid var(--line); } |
| 183 | .side-module { padding: 1px 6px; font-family: var(--mono); font-size: 12.5px; color: var(--muted); overflow-wrap: anywhere; } |
| 184 | .side-module.current { color: var(--accent-text); background: var(--accent-soft); font-weight: 600; } |
| 185 | .detail { min-width: 0; padding: 14px clamp(12px, 2vw, 24px) 0; max-width: 1240px; } |
| 186 | .detail.flush { padding-top: 0; } |
| 187 | .g-body > .g-head { padding-top: 10px; } |
| 188 | @media (max-width: 960px) { |
| 189 | .shell { grid-template-columns: minmax(0, 1fr); } |
| 190 | .menu-button { display: inline-block; } |
| 191 | .side { position: fixed; z-index: 35; top: 58px; left: 0; width: min(320px, 86vw); box-shadow: var(--shadow); transform: translateX(-102%); transition: transform 0.2s; } |
| 192 | body.side-open .side { transform: none; } |
| 193 | body.side-open::after { content: ""; position: fixed; inset: 58px 0 0 0; background: rgb(0 0 0 / 25%); z-index: 34; } |
| 194 | } |
| 195 | @media (max-width: 700px) { |
| 196 | .top { padding: 0 12px; gap: 8px; } |
| 197 | .top nav { gap: 6px; } |
| 198 | .header-links { gap: 4px; } |
| 199 | .icon-button { width: 32px; height: 32px; } |
| 200 | .brand .logo { height: 32px; } |
| 201 | /* on phones, beside a trail: the cube alone, then the name */ |
| 202 | body.has-crumbs .brand .logo.light, body.has-crumbs .brand .logo.dark { display: none !important; } |
| 203 | body.has-crumbs .brand .logo.icon { display: block; height: 30px; } |
| 204 | .crumbs-bar > .crumb-sep:first-child { display: none; } |
| 205 | body.has-crumbs .top .crumbs-bar { margin-left: 0; } |
| 206 | .detail { padding: 12px 12px 0; } |
| 207 | } |
| 208 | @media (prefers-reduced-motion: reduce) { .side { transition: none; } } |
| 209 | |
| 210 | /* home */ |
| 211 | .hero { padding: 0; } |
| 212 | .hero h1 { font-size: clamp(26px, 3.2vw, 38px); max-width: 22em; margin-bottom: 8px; } |
| 213 | .lead { font-size: 17px; color: var(--muted); max-width: 48em; margin: 0 0 10px; } |
| 214 | .intro { max-width: 46em; color: var(--text); } |
| 215 | .intro p { margin: 0 0 6px; } |
| 216 | .runs-on { display: flex; flex-wrap: wrap; gap: 6px; align-items: center; margin: 8px 0 12px; font-size: 14px; color: var(--muted); } |
| 217 | .runs-on .system { border: 1px solid var(--line-strong); background: var(--surface); border-radius: 4px; padding: 0 8px; color: var(--text); } |
| 218 | .facts { display: grid; grid-template-columns: repeat(auto-fit, minmax(170px, 1fr)); gap: 8px; margin: 6px 0; } |
| 219 | .fact { background: var(--surface); border: 1px solid var(--line); border-radius: var(--radius); padding: 8px 10px; display: grid; gap: 2px; min-width: 0; } |
| 220 | .fact b { font-size: 20px; letter-spacing: -0.01em; } |
| 221 | .fact span { color: var(--muted); font-size: 14px; } |
| 222 | .fact small { color: var(--faint); font-family: var(--mono); font-size: 11.5px; overflow-wrap: anywhere; } |
| 223 | .stats { display: grid; grid-template-columns: repeat(auto-fit, minmax(150px, 1fr)); gap: 1px; background: var(--line); border: 1px solid var(--line); border-radius: var(--radius); overflow: hidden; margin: 10px 0 4px; } |
| 224 | .stat { display: grid; align-content: start; gap: 1px; padding: 8px 12px; background: var(--surface); text-decoration: none; color: var(--text); min-width: 0; } |
| 225 | .stat b { font-size: 22px; letter-spacing: -0.02em; font-variant-numeric: tabular-nums; line-height: 1.2; } |
| 226 | .stat span { font-size: 13px; color: var(--muted); line-height: 1.35; } |
| 227 | a.stat:hover { background: var(--surface-2); } |
| 228 | .section-title { margin: 18px 0 8px; } |
| 229 | .section-title h2 { margin: 0 0 2px; font-size: 20px; } |
| 230 | .section-title p { margin: 0; color: var(--muted); max-width: 54em; } |
| 231 | .g-body > .section-title:first-child { margin-top: 6px; } |
| 232 | .group-grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(240px, 1fr)); gap: 8px; } |
| 233 | .group-tile { display: grid; gap: 2px; align-content: start; background: var(--surface); border: 1px solid var(--line); border-radius: var(--radius); |
| 234 | padding: 9px 12px; text-decoration: none; color: var(--text); transition: border-color 0.15s, box-shadow 0.15s, transform 0.15s; } |
| 235 | .group-tile:hover { border-color: var(--accent); box-shadow: var(--shadow); transform: translateY(-1px); } |
| 236 | .tile-head { display: flex; align-items: baseline; justify-content: space-between; gap: 8px; } |
| 237 | .tile-head code { background: none; padding: 0; color: var(--accent-text); font-weight: 650; font-size: 14px; } |
| 238 | .tile-count { font-size: 12px; color: var(--faint); } |
| 239 | .group-tile b { font-size: 15.5px; } |
| 240 | .group-tile p { margin: 0; color: var(--muted); font-size: 13.5px; line-height: 1.4; } |
| 241 | .tile-foot { display: flex; gap: 6px; flex-wrap: wrap; font-size: 12px; color: var(--faint); margin-top: 4px; } |
| 242 | .tile-foot .has { color: var(--accent-text); background: var(--accent-soft); border-radius: 4px; padding: 0 8px; } |
| 243 | .get { display: flex; align-items: center; gap: 8px; min-width: 0; } |
| 244 | .get code { overflow-x: auto; white-space: nowrap; flex: 1; min-width: 0; } |
| 245 | |
| 246 | /* a group */ |
| 247 | .g-head { padding: 0; } |
| 248 | .g-pattern { font-family: var(--mono); font-size: 14px; font-weight: 650; color: var(--accent-text); background: var(--accent-soft); display: inline-block; padding: 1px 8px; border-radius: 3px; } |
| 249 | .g-head h1 { margin: 6px 0 2px; font-size: clamp(24px, 2.8vw, 32px); } |
| 250 | .g-purpose { font-size: 16.5px; color: var(--muted); max-width: 52em; margin: 0; } |
| 251 | .g-tabs { position: sticky; top: 58px; z-index: 20; display: flex; gap: 2px; overflow-x: auto; margin: 0; border-bottom: 1px solid var(--line); |
| 252 | background: color-mix(in srgb, var(--bg) 94%, transparent); backdrop-filter: blur(8px); -webkit-backdrop-filter: blur(8px); scrollbar-width: none; } |
| 253 | .g-tabs a { display: flex; align-items: center; gap: 6px; padding: 8px 12px 7px; color: var(--muted); text-decoration: none; font-weight: 600; font-size: 14.5px; |
| 254 | border-bottom: 2px solid transparent; margin-bottom: -1px; white-space: nowrap; } |
| 255 | .g-tabs a:hover { color: var(--text); } |
| 256 | .g-tabs a.current { color: var(--accent-text); border-bottom-color: var(--accent); } |
| 257 | .g-tabs .count { font-size: 11.5px; font-weight: 650; color: var(--accent-text); background: var(--accent-soft); border-radius: 4px; padding: 0 7px; font-variant-numeric: tabular-nums; } |
| 258 | .g-tabs .count.zero { color: var(--faint); background: var(--surface-2); } |
| 259 | .g-body { padding-top: 2px; min-height: 50vh; } |
| 260 | .empty { color: var(--muted); background: var(--surface); border: 1px dashed var(--line-strong); border-radius: var(--radius); padding: 10px 12px; } |
| 261 | .card { background: var(--surface); border: 1px solid var(--line); border-radius: var(--radius); padding: 12px 14px; margin: 10px 0; min-width: 0; } |
| 262 | .card-title { margin: 0 0 4px; font-size: 17px; letter-spacing: -0.01em; } |
| 263 | .problem { margin: 0 0 8px; color: var(--muted); max-width: 60em; } |
| 264 | .notice { margin: 8px 0 0; padding: 7px 12px; border-left: 3px solid var(--accent); background: var(--accent-soft); border-radius: 0 4px 4px 0; } |
| 265 | .side-by-side { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 8px; } |
| 266 | @media (max-width: 1100px) { .side-by-side { grid-template-columns: minmax(0, 1fr); } } |
| 267 | .code-pane, .snippet, .output-pane { border: 1px solid var(--line); border-radius: 5px; overflow: hidden; min-width: 0; } |
| 268 | .code-pane pre, .snippet pre, .tab-pane > pre { padding: 8px 10px; overflow-x: auto; font-size: var(--code-size); line-height: 1.55; background: var(--code-bg); } |
| 269 | .pane-label { padding: 4px 10px; font-size: 13px; color: var(--muted); border-bottom: 1px solid var(--line); background: var(--surface-2); } |
| 270 | .pane-label.dark { background: #1d2029; color: #b9bfd0; border-bottom-color: #2a2f3d; } |
| 271 | .code-pane.usual .pane-label { background: var(--usual-soft); color: var(--usual); } |
| 272 | .code-pane.with .pane-label { background: var(--accent-soft); color: var(--accent-text); } |
| 273 | .output-pane { background: #14161d; border-color: #2a2f3d; } |
| 274 | .output-pane pre.output { border-radius: 0; max-height: 520px; } |
| 275 | .code-output { align-items: start; } |
| 276 | .code-output .code-pane pre { max-height: 520px; overflow: auto; } |
| 277 | .tab-pane > pre { border: 1px solid var(--line); border-radius: 5px; } |
| 278 | .output-title { margin: 10px 0 4px; font-size: 13px; text-transform: uppercase; letter-spacing: 0.06em; color: var(--faint); } |
| 279 | pre.output { padding: 8px 10px; overflow: auto; max-height: 460px; font-size: var(--code-size); line-height: 1.5; background: #14161d; color: #e3e6ee; border-radius: 5px; } |
| 280 | pre.output .out-head { color: #ffd28a; } |
| 281 | .output-pane .pills button { background: #1d2029; border-color: #2a2f3d; color: #b9bfd0; } |
| 282 | .output-pane .pills { padding: 6px 10px 0; margin: 0; } |
| 283 | .output-pane .choose-label { color: #8a90a3; } |
| 284 | .run-meta { font-size: 12.8px; color: var(--faint); margin: 6px 0 0; } |
| 285 | .choose-label { font-size: 13px; color: var(--faint); margin: 8px 0 4px; } |
| 286 | .tabs, .pills { display: flex; flex-wrap: wrap; gap: 4px; margin: 2px 0 6px; align-items: center; } |
| 287 | .tabs button, .pills button { border: 1px solid var(--line); background: var(--surface); border-radius: 4px; padding: 2px 10px; font-size: 13.5px; cursor: pointer; color: var(--muted); } |
| 288 | .tabs button[aria-selected="true"], .pills button[aria-selected="true"] { background: var(--accent-soft); border-color: var(--accent); color: var(--accent-text); font-weight: 600; } |
| 289 | |
| 290 | /* where a group sits */ |
| 291 | .neighbours { display: grid; grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr); gap: 12px; align-items: center; } |
| 292 | .neighbours h5 { margin: 0 0 6px; font-size: 11.5px; text-transform: uppercase; letter-spacing: 0.07em; color: var(--faint); } |
| 293 | .neighbours .centre code { display: inline-block; padding: 6px 12px; border-radius: 5px; border: 1.5px solid var(--hot); background: var(--hot-soft); font-weight: 700; font-size: 14px; } |
| 294 | .neighbours p { margin: 0; } |
| 295 | @media (max-width: 760px) { .neighbours { grid-template-columns: minmax(0, 1fr); } } |
| 296 | .group-chip { display: inline-flex; gap: 6px; align-items: baseline; } |
| 297 | .group-chip code { background: none; padding: 0; font-weight: 650; } |
| 298 | .group-chip span { font-size: 11.5px; color: var(--faint); font-family: var(--sans); } |
| 299 | .chip.plain { font-family: var(--sans); font-size: 13.5px; color: var(--text); background: var(--surface-2); } |
| 300 | |
| 301 | /* what a module was checked against */ |
| 302 | .checked { list-style: none; margin: 0; padding: 0; display: grid; gap: 5px; } |
| 303 | .checked li { display: grid; grid-template-columns: 112px minmax(0, 1fr); gap: 10px; align-items: start; font-size: 14px; } |
| 304 | .kind { font-size: 11.5px; font-weight: 650; border-radius: 3px; padding: 2px 7px; text-align: center; white-space: nowrap; border: 1px solid; } |
| 305 | .kind-suite { color: var(--ok); border-color: var(--ok); background: var(--ok-soft); } |
| 306 | .kind-servers, .kind-systems { color: var(--busy); border-color: var(--busy); background: var(--busy-soft); } |
| 307 | .kind-libraries, .kind-measured { color: var(--hot); border-color: var(--hot); background: var(--hot-soft); } |
| 308 | .kind-reference { color: var(--accent-text); border-color: var(--accent); background: var(--accent-soft); } |
| 309 | .kind-fuzzed, .kind-model, .kind-tests { color: var(--muted); border-color: var(--line-strong); background: var(--surface-2); } |
| 310 | .fact-module { font-family: var(--mono); font-size: 12.5px; margin-right: 6px; } |
| 311 | .quote { margin-top: 2px; } |
| 312 | .quote summary { cursor: pointer; font-family: var(--mono); font-size: 11.5px; color: var(--faint); list-style: none; } |
| 313 | .quote summary::-webkit-details-marker { display: none; } |
| 314 | .quote summary::before { content: "▸ "; } |
| 315 | .quote[open] summary::before { content: "▾ "; } |
| 316 | .quote blockquote { margin: 4px 0 0; padding: 6px 10px; border-left: 3px solid var(--line-strong); color: var(--muted); font-size: 13px; background: var(--surface-2); border-radius: 0 3px 3px 0; } |
| 317 | @media (max-width: 600px) { .checked li { grid-template-columns: minmax(0, 1fr); gap: 3px; } .kind { justify-self: start; } } |
| 318 | |
| 319 | /* comparison sections */ |
| 320 | .prose { max-width: 70em; min-width: 0; } |
| 321 | .prose pre { overflow-x: auto; padding: 10px 12px; background: var(--code-bg); border: 1px solid var(--line); border-radius: 5px; font-size: var(--code-size); margin: 8px 0; } |
| 322 | .prose p { margin: 6px 0; } |
| 323 | .prose h4 { margin: 12px 0 4px; font-size: 15.5px; } |
| 324 | .prose h5 { margin: 10px 0 2px; font-size: 14.5px; } |
| 325 | .prose ul, .prose ol { margin: 4px 0 6px; padding-left: 20px; } |
| 326 | .prose li { margin: 1px 0; } |
| 327 | .prose table { font-size: 13.5px; } |
| 328 | .prose table.matrix th:first-child { white-space: nowrap; } |
| 329 | .compared .source { margin-bottom: 8px; } |
| 330 | |
| 331 | /* measurements */ |
| 332 | .bars { display: grid; grid-template-columns: minmax(90px, 230px) minmax(0, 1fr) auto; gap: 5px 10px; align-items: center; margin: 6px 0; font-size: 14px; } |
| 333 | .bar-row { display: contents; } |
| 334 | .bar-name { font-family: var(--mono); font-size: 13px; overflow-wrap: anywhere; color: var(--muted); } |
| 335 | .bar-track { background: var(--surface-2); border-radius: 3px; height: 18px; overflow: hidden; } |
| 336 | .bar { display: block; height: 100%; background: var(--line-strong); border-radius: 3px; } |
| 337 | .bar-row.ours .bar { background: var(--accent); } |
| 338 | .bar-row.ours .bar-name { color: var(--accent-text); font-weight: 700; } |
| 339 | .bar-value { font-variant-numeric: tabular-nums; min-width: 64px; max-width: 16em; text-align: right; overflow-wrap: anywhere; font-size: 13.5px; } |
| 340 | .bar-note { font-size: 12.8px; color: var(--faint); margin: 4px 0 0; } |
| 341 | .caption { font-size: 14px; color: var(--muted); margin: 6px 0 2px; } |
| 342 | .measured-how, .source { font-size: 12.8px; color: var(--faint); margin: 2px 0; overflow-wrap: anywhere; } |
| 343 | .numbers summary { cursor: pointer; font-size: 13.5px; color: var(--muted); margin-top: 6px; } |
| 344 | .table-wrap { overflow-x: auto; margin-top: 6px; } |
| 345 | table { border-collapse: collapse; font-size: 13.5px; width: 100%; } |
| 346 | th, td { border-bottom: 1px solid var(--line); padding: 5px 8px; text-align: left; vertical-align: top; } |
| 347 | thead th { background: var(--surface-2); font-weight: 600; } |
| 348 | table.matrix td.cell-yes { color: var(--ok); font-weight: 600; } |
| 349 | table.matrix td.cell-no { color: var(--faint); } |
| 350 | .measured-group { margin: 16px 0 -2px; font-size: 13px; text-transform: uppercase; letter-spacing: 0.06em; } |
| 351 | .measured-section { margin-top: 16px; } |
| 352 | .measured-section > h2 { margin-bottom: 0; } |
| 353 | .measured-module .card-title { display: flex; flex-wrap: wrap; align-items: baseline; gap: 4px 12px; } |
| 354 | .module-link { font-family: var(--mono); font-size: 17px; text-decoration: none; } |
| 355 | .card-sub { font-size: 14px; font-weight: 400; color: var(--muted); letter-spacing: 0; } |
| 356 | .measure-tabs { margin-top: 8px; } |
| 357 | .against { margin: 4px 0 6px; color: var(--muted); font-size: 14.5px; } |
| 358 | .choices { display: grid; gap: 0; margin-bottom: 4px; } |
| 359 | .choices .pills { margin: 2px 0; } |
| 360 | .bar-row.missing .bar-text { grid-column: 2 / 4; font-size: 13px; color: var(--faint); } |
| 361 | table.matrix tr.ours th, table.matrix tr.ours td { background: var(--accent-soft); } |
| 362 | table.matrix tr.ours th { color: var(--accent-text); } |
| 363 | |
| 364 | /* stages */ |
| 365 | .stages { display: flex; flex-wrap: wrap; align-items: center; gap: 4px; margin: 6px 0; } |
| 366 | .stage-button { display: grid; gap: 1px; text-align: left; border: 1.5px solid var(--border-decision); background: var(--card-decision); border-radius: 5px; padding: 5px 10px; cursor: pointer; } |
| 367 | .stage-button small { color: var(--faint); font-size: 12px; } |
| 368 | .stage-button[aria-selected="true"] { border-color: var(--hot); box-shadow: 0 0 0 3px var(--hot-soft); } |
| 369 | .stage-arrow { color: var(--faint); font-size: 18px; } |
| 370 | .stage-panel { border-top: 1px dashed var(--line); margin-top: 8px; padding-top: 8px; } |
| 371 | .stage-panel h4 { margin: 0 0 4px; } |
| 372 | .stage-panel p { margin: 0 0 8px; color: var(--muted); } |
| 373 | .chips { display: flex; flex-wrap: wrap; gap: 6px; } |
| 374 | .chip { font-family: var(--mono); font-size: 12.8px; border: 1px solid var(--line-strong); border-radius: 4px; padding: 2px 10px; text-decoration: none; color: var(--text); background: var(--surface); } |
| 375 | .chip:hover { border-color: var(--accent); } |
| 376 | |
| 377 | /* recorded flows */ |
| 378 | .flow-intro, .flow-summary { color: var(--muted); margin: 0 0 8px; } |
| 379 | .scenario { border: 1px solid var(--line); border-radius: 4px; margin: 6px 0 10px; } |
| 380 | .scenario summary { cursor: pointer; padding: 6px 12px; font-size: 14px; color: var(--muted); } |
| 381 | .scenario pre { padding: 4px 14px 12px; font-size: var(--code-size); overflow-x: auto; } |
| 382 | .chapters { display: grid; grid-template-columns: repeat(auto-fit, minmax(190px, 1fr)); gap: 4px; margin: 2px 0 8px; } |
| 383 | .chapter { display: flex; gap: 8px; align-items: flex-start; text-align: left; border: 1px solid var(--line); background: var(--surface); border-radius: 4px; padding: 7px 10px; cursor: pointer; font-size: 13.5px; color: var(--muted); } |
| 384 | .chapter-number { display: inline-grid; place-items: center; min-width: 20px; height: 20px; border-radius: 4px; background: var(--surface-2); font-weight: 700; font-size: 12px; } |
| 385 | .chapter.current { border-color: var(--hot); color: var(--text); background: var(--hot-soft); } |
| 386 | .chapter.current .chapter-number { background: var(--hot); color: #fff; } |
| 387 | .stage-frame { position: relative; border: 1px solid var(--line); border-radius: 6px; overflow: hidden; background: var(--surface); |
| 388 | background-image: radial-gradient(var(--line) 1px, transparent 1px); background-size: 18px 18px; } |
| 389 | .stage { position: absolute; left: 0; top: 0; transform-origin: 0 0; } |
| 390 | .stage svg { position: absolute; inset: 0; overflow: visible; pointer-events: none; } |
| 391 | .edge path { fill: none; } |
| 392 | .edge path.line { stroke: var(--line-strong); stroke-width: 1.6; } |
| 393 | .edge.taken path.line { stroke: var(--faint); } |
| 394 | .edge.active path.line { stroke: var(--hot); stroke-width: 3; } |
| 395 | .edge .hit { stroke: transparent; stroke-width: 14; pointer-events: stroke; cursor: help; } |
| 396 | .edge .badge { pointer-events: all; cursor: help; } |
| 397 | .edge .badge circle { fill: var(--surface); stroke: var(--line-strong); stroke-width: 1.4; } |
| 398 | .edge .badge text { fill: var(--muted); font: 600 11.5px var(--sans); text-anchor: middle; dominant-baseline: central; } |
| 399 | .edge.active .badge circle { fill: var(--hot); stroke: var(--hot); } |
| 400 | .edge.active .badge text { fill: #fff; } |
| 401 | .pulse { fill: var(--hot); } |
| 402 | .node { position: absolute; border-radius: 5px; border: 1.5px solid var(--border-effect); background: var(--card-effect); padding: 8px 11px; overflow: hidden; cursor: help; |
| 403 | transition: border-color 0.25s, box-shadow 0.25s; } |
| 404 | .node.kind-outside { background: var(--card-outside); border-color: var(--border-outside); border-style: dashed; } |
| 405 | .node.kind-decision { background: var(--card-decision); border-color: var(--border-decision); } |
| 406 | .node.kind-state { background: var(--card-state); border-color: var(--border-state); } |
| 407 | .node .title { font-weight: 700; font-size: 15px; line-height: 1.25; } |
| 408 | .node .module { font-family: var(--mono); font-size: 11px; color: var(--faint); margin-bottom: 4px; } |
| 409 | .node .module.outside { font-family: var(--sans); font-style: italic; } |
| 410 | .node .lines { display: grid; gap: 1px; font-size: 12.5px; } |
| 411 | .node .lines div { display: flex; justify-content: space-between; gap: 8px; color: var(--muted); } |
| 412 | .node .lines b { font-weight: 600; color: var(--text); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; } |
| 413 | .node .lines b.changed { animation: flash 1.2s ease-out; border-radius: 2px; } |
| 414 | @keyframes flash { 0% { background: var(--hot-soft); color: var(--hot); } 100% { background: transparent; } } |
| 415 | .node.status-busy { border-color: var(--busy); box-shadow: 0 0 0 3px var(--busy-soft); } |
| 416 | .node.status-ok { border-color: var(--ok); border-style: solid; } |
| 417 | .node.status-error { border-color: var(--error); box-shadow: 0 0 0 3px var(--error-soft); border-style: solid; } |
| 418 | .node.status-off { opacity: 0.75; border-style: dashed; } |
| 419 | .node.active { border-color: var(--hot); border-style: solid; box-shadow: 0 0 0 4px var(--hot-soft), var(--shadow); } |
| 420 | .cells { display: flex; align-items: center; gap: 4px; margin-top: 6px; font-size: 11px; color: var(--faint); } |
| 421 | .cells[hidden] { display: none; } |
| 422 | .cells .cell { min-width: 30px; height: 22px; padding: 0 4px; border-radius: 3px; border: 1px dashed var(--line-strong); display: inline-grid; place-items: center; font-weight: 600; font-size: 11.5px; } |
| 423 | .cells .cell.full { border: 1px solid var(--accent); background: var(--accent-soft); color: var(--accent-text); } |
| 424 | @media (prefers-reduced-motion: reduce) { .node, .node .lines b.changed { transition: none; animation: none; } } |
| 425 | .controls { display: flex; align-items: center; gap: 6px; flex-wrap: wrap; margin: 8px 0 0; } |
| 426 | .controls .ctl { border: 1px solid var(--line); background: var(--surface); border-radius: 4px; height: 34px; min-width: 36px; padding: 0 10px; cursor: pointer; } |
| 427 | .controls .ctl.play { background: var(--accent); border-color: var(--accent); color: #fff; font-weight: 600; } |
| 428 | .controls input[type="range"] { flex: 1 1 180px; accent-color: var(--accent); } |
| 429 | .controls .where { font-variant-numeric: tabular-nums; color: var(--muted); font-size: 14px; white-space: nowrap; } |
| 430 | .step-box { margin-top: 8px; border: 1px solid var(--line); border-radius: 5px; padding: 8px 10px; background: var(--surface-2); } |
| 431 | .step-text { font-size: 17px; margin: 0 0 4px; } |
| 432 | .step-meta { font-size: 13px; color: var(--faint); margin: 0 0 8px; } |
| 433 | .tab-panel p { margin: 0 0 8px; } |
| 434 | .code-ref { border: 1px solid var(--line); border-radius: 4px; margin-top: 8px; overflow: hidden; background: var(--surface); } |
| 435 | .code-ref header { display: flex; justify-content: space-between; gap: 8px; padding: 5px 10px; background: var(--surface-2); font-size: 12.5px; color: var(--muted); font-family: var(--mono); flex-wrap: wrap; } |
| 436 | .code-ref pre { padding: 8px 10px; font-size: var(--code-size); overflow: auto; max-height: 280px; } |
| 437 | .asker { display: flex; gap: 6px; } |
| 438 | .asker input { flex: 1; min-width: 0; border: 1px solid var(--line-strong); background: var(--surface); border-radius: 4px; padding: 6px 10px; } |
| 439 | .asker button { border: 1px solid var(--accent); background: var(--accent); color: #fff; border-radius: 4px; padding: 0 14px; cursor: pointer; font-weight: 600; } |
| 440 | .suggestions { display: flex; flex-wrap: wrap; gap: 6px; margin-top: 8px; } |
| 441 | .suggestions button { border: 1px solid var(--line); background: var(--surface); border-radius: 4px; padding: 3px 10px; font-size: 13px; cursor: pointer; color: var(--muted); } |
| 442 | .results { display: grid; gap: 6px; margin-top: 8px; } |
| 443 | .result { border: 1px solid var(--line); border-radius: 4px; padding: 9px 11px; background: var(--surface); overflow-wrap: anywhere; min-width: 0; } |
| 444 | .result h4 { margin: 0 0 4px; font-size: 14.5px; } |
| 445 | .result p { margin: 0 0 6px; font-size: 14.5px; } |
| 446 | .ai-links { display: flex; gap: 10px; flex-wrap: wrap; align-items: center; font-size: 13.5px; } |
| 447 | .timeline { max-height: 320px; overflow: auto; margin: 0; padding: 0; list-style: none; font-size: 13.5px; position: relative; } |
| 448 | .timeline li { display: grid; grid-template-columns: 48px 24px 1fr; gap: 6px; padding: 4px 6px; border-radius: 3px; cursor: pointer; } |
| 449 | .timeline li:hover { background: var(--surface); } |
| 450 | .timeline li.current { background: var(--hot-soft); } |
| 451 | .timeline li.future { color: var(--faint); } |
| 452 | .timeline .t, .timeline .e { color: var(--faint); font-variant-numeric: tabular-nums; } |
| 453 | .recorded { font-size: 12.5px; color: var(--faint); margin: 8px 0 0; } |
| 454 | .tooltip { position: fixed; z-index: 60; max-width: 320px; background: var(--text); color: var(--bg); border-radius: 4px; padding: 7px 10px; font-size: 13px; pointer-events: none; } |
| 455 | .tooltip[hidden] { display: none; } |
| 456 | |
| 457 | /* modules */ |
| 458 | .modules { display: grid; gap: 4px; } |
| 459 | .module { background: var(--surface); border: 1px solid var(--line); border-radius: 5px; scroll-margin-top: 100px; } |
| 460 | .card, .measured-module { scroll-margin-top: 100px; } |
| 461 | .card .module { background: var(--bg); } |
| 462 | .module[open] { border-color: var(--line-strong); } |
| 463 | .module > summary { list-style: none; cursor: pointer; display: grid; grid-template-columns: minmax(0, 280px) minmax(0, 1fr) auto; gap: 10px; align-items: baseline; padding: 5px 10px; } |
| 464 | .module > summary::-webkit-details-marker { display: none; } |
| 465 | .module .name { font-family: var(--mono); font-weight: 600; font-size: 14px; overflow-wrap: anywhere; } |
| 466 | .module .line { color: var(--muted); font-size: 14.5px; } |
| 467 | .tags { display: flex; gap: 5px; flex-wrap: wrap; justify-content: end; } |
| 468 | @media (max-width: 760px) { .module > summary { grid-template-columns: minmax(0, 1fr); gap: 3px; } .tags { justify-content: start; } } |
| 469 | .badge, .tag { font-size: 11.5px; border-radius: 4px; padding: 1px 8px; border: 1px solid var(--line-strong); color: var(--muted); white-space: nowrap; } |
| 470 | .badge.verified { border-color: var(--ok); color: var(--ok); } |
| 471 | .badge.new { border-color: var(--hot); color: var(--hot); } |
| 472 | .tag.role { border-color: var(--accent); color: var(--accent-text); background: var(--accent-soft); } |
| 473 | .tag.third { border-color: var(--hot); color: var(--hot); } |
| 474 | .tag.warn { border-color: var(--error); color: var(--error); } |
| 475 | .tag.measured { border-color: var(--ok); color: var(--ok); background: var(--ok-soft); } |
| 476 | .tag.checks { border-color: var(--busy); color: var(--busy); } |
| 477 | .module-summary { font-size: 15.5px; } |
| 478 | .module-grid { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 10px; align-items: start; margin-top: 4px; } |
| 479 | .module-grid.single { grid-template-columns: minmax(0, 1fr); } |
| 480 | @media (max-width: 1100px) { .module-grid { grid-template-columns: minmax(0, 1fr); } } |
| 481 | .checked-box h5, .module-measures h5 { margin: 0 0 8px; font-size: 11.5px; text-transform: uppercase; letter-spacing: 0.07em; color: var(--faint); } |
| 482 | .module-measures { border-top: 1px dashed var(--line); padding-top: 8px; margin-top: 2px; } |
| 483 | .module-body { padding: 4px 10px 10px; border-top: 1px dashed var(--line); display: grid; gap: 6px; } |
| 484 | .module-body p { margin: 4px 0 0; } |
| 485 | .replaces { font-size: 14.5px; } |
| 486 | .deps { display: grid; grid-template-columns: minmax(0, 1fr) minmax(140px, 0.8fr) minmax(0, 1fr); gap: 10px; align-items: center; } |
| 487 | @media (max-width: 640px) { .deps { grid-template-columns: minmax(0, 1fr); } } |
| 488 | .deps .col { display: grid; gap: 5px; } |
| 489 | .deps h5 { margin: 0; font-size: 10.5px; text-transform: uppercase; letter-spacing: 0.08em; color: var(--faint); } |
| 490 | .mini { border: 1.3px solid var(--border-effect); background: var(--card-effect); border-radius: 4px; padding: 3px 8px; font-family: var(--mono); font-size: 12.5px; text-decoration: none; color: var(--text); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; display: block; } |
| 491 | a.mini:hover { border-color: var(--accent); } |
| 492 | .mini.center { border-color: var(--hot); background: var(--hot-soft); font-weight: 700; text-align: center; padding: 6px; } |
| 493 | .mini.none { font-family: var(--sans); color: var(--faint); border-style: dashed; } |
| 494 | .more { font-size: 12.5px; color: var(--faint); } |
| 495 | .copy { border: 1px solid var(--line); background: var(--surface-2); border-radius: 3px; padding: 3px 10px; cursor: pointer; font-size: 12.5px; color: var(--muted); white-space: nowrap; } |
| 496 | .copy.done { color: var(--ok); border-color: var(--ok); } |
| 497 | .tok-k { color: #a2378f; } .tok-s { color: #1f7a45; } .tok-c { color: var(--faint); font-style: italic; } .tok-f { color: #3555c0; } .tok-n { color: #b45c0c; } |
| 498 | :root[data-theme="dark"] .tok-k { color: #e48bd3; } :root[data-theme="dark"] .tok-s { color: #7fd8a3; } :root[data-theme="dark"] .tok-f { color: #93abff; } :root[data-theme="dark"] .tok-n { color: #f5b06b; } |
| 499 | @media (prefers-color-scheme: dark) { |
| 500 | :root:not([data-theme="light"]) .tok-k { color: #e48bd3; } :root:not([data-theme="light"]) .tok-s { color: #7fd8a3; } |
| 501 | :root:not([data-theme="light"]) .tok-f { color: #93abff; } :root:not([data-theme="light"]) .tok-n { color: #f5b06b; } |
| 502 | } |
| 503 | footer.bottom { border-top: 1px solid var(--line); margin-top: 24px; padding: 12px 0 18px; color: var(--muted); font-size: 13.5px; display: flex; flex-wrap: wrap; justify-content: flex-end; align-items: baseline; gap: 4px 28px; text-align: right; } |
| 504 | @media (max-width: 600px) { |
| 505 | .bars { grid-template-columns: minmax(0, 1fr) auto; gap: 2px 10px; } |
| 506 | .bar-row .bar-name { grid-column: 1 / -1; margin-top: 4px; } |
| 507 | .bar-row.missing .bar-text { grid-column: 1 / -1; } |
| 508 | } |
| 509 | |
| 510 | /* the source viewer's widget */ |
| 511 | .source-frame { display: block; width: 100%; border: 0; background: transparent; } |
| 512 | .source-none { margin: 4px 2px; } |
| 513 | .source-card { padding: 8px 10px; } |
| 514 | .module-tabs { margin: 2px 0 0; } |
| 515 | .module-about { display: grid; gap: 6px; } |
| 516 | .module-source { display: grid; gap: 6px; } |
| 517 | .module-source .browse { font-size: 14px; } |
| 518 | |
| 519 | /* how this server runs: the About dialog. Its header stays; its body alone |
| 520 | scrolls, so there is one scrollbar, below the title */ |
| 521 | dialog.about { width: min(1240px, 96vw); max-height: 92vh; padding: 0; border: 1px solid var(--line-strong); border-radius: 6px; background: var(--surface); color: var(--text); box-shadow: var(--shadow); overflow: hidden; } |
| 522 | dialog.about[open] { display: flex; flex-direction: column; } |
| 523 | dialog.about::backdrop { background: rgb(10 12 20 / 45%); } |
| 524 | .about-head { flex: none; display: flex; align-items: center; justify-content: space-between; gap: 12px; padding: 12px 16px; background: var(--surface-2); border-bottom: 1px solid var(--line-strong); } |
| 525 | .about-head h2 { margin: 0; font-size: 21px; font-weight: 700; letter-spacing: -0.01em; display: flex; align-items: center; gap: 10px; } |
| 526 | .about-head h2 svg { width: 22px; height: 22px; color: var(--accent); flex: none; } |
| 527 | .about-body { flex: 1 1 auto; min-height: 0; overflow-y: auto; overflow-x: hidden; padding: 12px 16px 16px; } |
| 528 | .diagram-wrap { margin: 4px 0 14px; border: 1px solid var(--line); border-radius: 5px; background: var(--bg); } |
| 529 | .server-diagram { display: block; width: 100%; height: auto; font-family: var(--sans); } |
| 530 | .server-diagram .node-box rect { fill: var(--card-decision); stroke: var(--border-decision); stroke-width: 1.4; } |
| 531 | .server-diagram .node-box.outside rect { fill: var(--card-outside); stroke: var(--border-outside); stroke-dasharray: 5 4; } |
| 532 | .server-diagram .node-box.store rect { fill: var(--card-state); stroke: var(--border-state); } |
| 533 | .server-diagram .node-label { font-size: 13.5px; font-weight: 700; fill: var(--text); } |
| 534 | .server-diagram .node-note { font-family: var(--mono); font-size: 11px; fill: var(--muted); } |
| 535 | .server-diagram .edge-line { fill: none; stroke: var(--faint); stroke-width: 1.5; } |
| 536 | .server-diagram .edge-head { fill: var(--faint); } |
| 537 | .server-diagram .edge-label { font-family: var(--mono); font-size: 11px; fill: var(--accent-text); paint-order: stroke; stroke: var(--bg); stroke-width: 4px; stroke-linejoin: round; } |
| 538 | .config .source { display: flex; align-items: center; gap: 8px; margin: 0 0 6px; flex-wrap: wrap; } |
| 539 | .config .source code { overflow-wrap: anywhere; } |
| 540 | /* the files at full length, long lines wrapped: the dialog scrolls, not they */ |
| 541 | pre.config-text { margin: 0; padding: 8px 10px; white-space: pre-wrap; overflow-wrap: anywhere; font-size: var(--code-size); line-height: 1.5; background: var(--code-bg); border: 1px solid var(--line); border-radius: 5px; } |