@dataimago/css 0.1.0-alpha.1 → 0.1.0-alpha.11

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (7) hide show
  1. package/README.md +4 -2
  2. package/dist/dataimago.css +219 -66
  3. package/dist/dataimago.min.css +1 -1
  4. package/dist/tailwind-preset.js +188 -52
  5. package/dist/tokens.css +182 -62
  6. package/dist/tokens.scss +182 -62
  7. package/package.json +2 -2
package/README.md CHANGED
@@ -2,13 +2,15 @@
2
2
 
3
3
  Compiled CSS and Tailwind preset for the dataimago ethical AI design system.
4
4
 
5
- Depends on [`@dataimago/tokens`](../tokens) for the canonical palette.
5
+ Depends on [`@dataimago/tokens`](../tokens) for the canonical house identity.
6
6
 
7
7
  ## What you get
8
8
 
9
9
  - `dist/tokens.css` — CSS custom properties (theme-aware).
10
10
  - `dist/dataimago.css` / `dist/dataimago.min.css` — full compiled design system.
11
- - `dist/tailwind-preset.js` — Tailwind preset pre-wired with `ink / cream / copper / accent` scales and functional colors.
11
+ - `dist/tailwind-preset.js` — Tailwind preset generated from token JSON, including `ink`, `stone`, `forest`, `paper`, `presentation-blue`, `accent`, `copper`, functional colors, typography, spacing, radius, shadow, and transition tokens.
12
+
13
+ Use [`@dataimago/css-neutral`](../css-neutral) instead when an externally-owned Level-3 app or future third-party hub needs the neutral identity.
12
14
 
13
15
  ## Usage
14
16
 
package/dist/dataimago.css CHANGED
@@ -10,12 +10,32 @@
10
10
  --color-palette-ink-700: #292524;
11
11
  --color-palette-ink-800: #1c1917;
12
12
  --color-palette-ink-900: #0c0a09;
13
- --color-palette-cream-50: #fefdfb;
14
- --color-palette-cream-100: #fdf9f2;
15
- --color-palette-cream-200: #faf2e3;
16
- --color-palette-cream-300: #f5e8cf;
17
- --color-palette-cream-400: #edd9b3;
18
- --color-palette-cream-500: #e0c088;
13
+ --color-palette-stone-50: #f7f7f6;
14
+ --color-palette-stone-100: #ededeb;
15
+ --color-palette-stone-200: #dcdcda;
16
+ --color-palette-stone-300: #c1c1bf;
17
+ --color-palette-stone-400: #a0a0a0;
18
+ --color-palette-stone-500: #7c7c7c;
19
+ --color-palette-stone-600: #5e5e5c;
20
+ --color-palette-stone-700: #424240;
21
+ --color-palette-stone-800: #292927;
22
+ --color-palette-stone-900: #14140f;
23
+ --color-palette-forest-50: #f0f1ed;
24
+ --color-palette-forest-100: #dde0d4;
25
+ --color-palette-forest-200: #bdc4ad;
26
+ --color-palette-forest-300: #98a384;
27
+ --color-palette-forest-400: #7e8a6b;
28
+ --color-palette-forest-500: #5e6749;
29
+ --color-palette-forest-600: #4d5640;
30
+ --color-palette-forest-700: #434739;
31
+ --color-palette-forest-800: #363a2e;
32
+ --color-palette-forest-900: #1f2218;
33
+ --color-palette-paper-50: #fefdfb;
34
+ --color-palette-paper-100: #fdf9f2;
35
+ --color-palette-paper-200: #faf2e3;
36
+ --color-palette-paper-300: #f5e8cf;
37
+ --color-palette-paper-400: #edd9b3;
38
+ --color-palette-paper-500: #e0c088;
19
39
  --color-palette-copper-50: #fdf4ee;
20
40
  --color-palette-copper-100: #fbe5d1;
21
41
  --color-palette-copper-200: #f6c79c;
@@ -26,10 +46,12 @@
26
46
  --color-palette-copper-700: #913d15;
27
47
  --color-palette-copper-800: #753318;
28
48
  --color-palette-copper-900: #612b16;
29
- --color-palette-accent-50: #fdf2f2;
30
- --color-palette-accent-500: #b54a27;
31
- --color-palette-accent-600: #9a3e20;
32
- --color-palette-accent-700: #7d321a;
49
+ --color-palette-accent-50: #f0f8fc;
50
+ --color-palette-accent-300: #3498DB;
51
+ --color-palette-accent-400: #2980B9;
52
+ --color-palette-accent-500: #1f618d;
53
+ --color-palette-accent-600: #154d6f;
54
+ --color-palette-accent-700: #0f3a52;
33
55
  --color-palette-presentation-blue-50: #f0f8fc;
34
56
  --color-palette-presentation-blue-500: #3498DB;
35
57
  --color-palette-presentation-blue-600: #2980B9;
@@ -38,11 +60,17 @@
38
60
  --color-functional-warning: #F39C12;
39
61
  --color-functional-error: #E74C3C;
40
62
  --color-functional-info: #3498DB;
41
- --font-family-sans: Fira Sans, system-ui, sans-serif;
63
+ --transition-quick: 0.15s ease;
64
+ --transition-standard: 0.25s ease-in-out;
65
+ --transition-smooth: 0.35s ease;
66
+ --transition-logo: 0.3s;
67
+ --font-family-sans: Noto Sans, Fira Sans, system-ui, sans-serif;
42
68
  --font-family-mono: JetBrains Mono, SF Mono, Monaco, Inconsolata, monospace;
43
- --font-family-display: Josefin Sans, system-ui, sans-serif;
69
+ --font-family-display: var(--font-family-display-editorial);
70
+ --font-family-display-editorial: Josefin Sans, system-ui, sans-serif;
71
+ --font-family-display-documentation: Noto Sans, system-ui, sans-serif;
44
72
  --font-family-brand: Futura, system-ui, sans-serif;
45
- --font-family-math: Fira Math, Fira Sans Math, system-ui, sans-serif;
73
+ --font-family-math: Noto Sans Math, Noto Sans, system-ui, sans-serif;
46
74
  --font-size-micro: 0.75rem;
47
75
  --font-size-small: 0.875rem;
48
76
  --font-size-base: 1rem;
@@ -58,7 +86,7 @@
58
86
  --font-weight-medium: 500;
59
87
  --font-weight-semibold: 600;
60
88
  --font-weight-bold: 700;
61
- --font-weight-heading-h1: var(--font-weight-bold);
89
+ --font-weight-heading-h1: var(--font-weight-medium);
62
90
  --font-weight-heading-h2: var(--font-weight-medium);
63
91
  --font-weight-heading-h3: var(--font-weight-normal);
64
92
  --font-weight-heading-h4: var(--font-weight-light);
@@ -71,6 +99,8 @@
71
99
  --font-lineHeight-tight: 1.25;
72
100
  --font-lineHeight-normal: 1.5;
73
101
  --font-lineHeight-relaxed: 1.625;
102
+ --font-feature-settings-display: "lnum";
103
+ --font-feature-settings-body: "normal";
74
104
  --spacing-xs: 0.25rem;
75
105
  --spacing-sm: 0.5rem;
76
106
  --spacing-md: 1rem;
@@ -90,28 +120,58 @@
90
120
  }
91
121
 
92
122
  :root, [data-bs-theme=light] {
93
- --color-surface-page: #fdf9f2;
94
- --color-surface-page-scrolled: #fdf9f2;
95
- --color-surface-elevated: #fefdfb;
123
+ --color-surface-page: #ededeb;
124
+ --color-surface-page: color(display-p3 0.9294 0.9294 0.9223);
125
+ --color-surface-page-scrolled: #ededeb;
126
+ --color-surface-page-scrolled: color(display-p3 0.9294 0.9294 0.9223);
127
+ --color-surface-elevated: #f7f7f6;
128
+ --color-surface-elevated: color(display-p3 0.9686 0.9686 0.9651);
96
129
  --color-surface-sunken: #faf2e3;
97
- --color-surface-navbar: #fdf9f2;
98
- --color-surface-navbar-scrolled: #fdf9f2;
130
+ --color-surface-sunken: color(display-p3 0.9749 0.9501 0.8963);
131
+ --color-surface-navbar: #ededeb;
132
+ --color-surface-navbar: color(display-p3 0.9294 0.9294 0.9223);
133
+ --color-surface-navbar-scrolled: #ededeb;
134
+ --color-surface-navbar-scrolled: color(display-p3 0.9294 0.9294 0.9223);
99
135
  --color-surface-code: #faf2e3;
100
- --color-border-subtle: rgba(12, 10, 9, 0.08);
101
- --color-border-moderate: rgba(12, 10, 9, 0.15);
102
- --color-border-strong: rgba(12, 10, 9, 0.25);
103
- --color-border-card: rgba(12, 10, 9, 0.15);
136
+ --color-surface-code: color(display-p3 0.9749 0.9501 0.8963);
137
+ --color-border-subtle: #0c0a09;
138
+ --color-border-subtle: color(display-p3 0.0457 0.0395 0.0358);
139
+ --color-border-moderate: #0c0a09;
140
+ --color-border-moderate: color(display-p3 0.0457 0.0395 0.0358);
141
+ --color-border-strong: #0c0a09;
142
+ --color-border-strong: color(display-p3 0.0457 0.0395 0.0358);
143
+ --color-border-card: #0c0a09;
144
+ --color-border-card: color(display-p3 0.0457 0.0395 0.0358);
104
145
  --color-border-code: #d6d3d1;
105
- --color-content-primary: #0c0a09;
106
- --color-content-secondary: #57534e;
107
- --color-content-muted: #78716c;
146
+ --color-border-code: color(display-p3 0.8371 0.8278 0.8205);
147
+ --color-content-primary: #14140f;
148
+ --color-content-primary: color(display-p3 0.0784 0.0784 0.0608);
149
+ --color-content-secondary: #6a6a6a;
150
+ --color-content-secondary: color(display-p3 0.4157 0.4157 0.4157);
151
+ --color-content-muted: #706964;
152
+ --color-content-muted: color(display-p3 0.4345 0.4127 0.3945);
108
153
  --color-content-inverse: #fdf9f2;
109
- --color-interactive-primary: #d46820;
110
- --color-interactive-hover: #b55017;
111
- --color-interactive-accent: #b54a27;
112
- --color-interactive-focus: #d46820;
113
- --color-presentation-accent: #3498DB;
114
- --color-presentation-accent-hover: #2980B9;
154
+ --color-content-inverse: color(display-p3 0.9894 0.977 0.9518);
155
+ --color-interactive-primary: #434739;
156
+ --color-interactive-primary: color(display-p3 0.2656 0.2779 0.2287);
157
+ --color-interactive-hover: #363a2e;
158
+ --color-interactive-hover: color(display-p3 0.2146 0.2269 0.1848);
159
+ --color-interactive-accent: #1f618d;
160
+ --color-interactive-accent: color(display-p3 0.198 0.375 0.5385);
161
+ --color-interactive-focus: #434739;
162
+ --color-interactive-focus: color(display-p3 0.2656 0.2779 0.2287);
163
+ --color-presentation-accent: #3498db;
164
+ --color-presentation-accent: color(display-p3 0.3208 0.588 0.8369);
165
+ --color-presentation-accent-hover: #2980b9;
166
+ --color-presentation-accent-hover: color(display-p3 0.2638 0.495 0.7068);
167
+ --color-vertical-accent-dissertation: #b87333;
168
+ --color-vertical-accent-dissertation: color(display-p3 0.7242 0.4389 0.1259);
169
+ --color-vertical-accent-rpkg: #3b82f6;
170
+ --color-vertical-accent-rpkg: color(display-p3 0.3047 0.5035 0.9338);
171
+ --color-vertical-accent-SGPc: #5a6310;
172
+ --color-vertical-accent-SGPc: color(display-p3 0.3595 0.3871 0.1309);
173
+ --color-brand-mark-red: #cc0000;
174
+ --color-brand-mark-red: color(display-p3 0.7331 0.1519 0.1019);
115
175
  --contrast-high: rgb(20, 20, 16);
116
176
  --contrast-readable: rgb(20, 20, 16);
117
177
  --contrast-medium: #7c7c7c;
@@ -127,28 +187,58 @@
127
187
  }
128
188
 
129
189
  [data-bs-theme=dark] {
130
- --color-surface-page: #0c0a09;
131
- --color-surface-page-scrolled: #0c0a09;
190
+ --color-surface-page: #141410;
191
+ --color-surface-page: color(display-p3 0.0784 0.0784 0.0643);
192
+ --color-surface-page-scrolled: #141410;
193
+ --color-surface-page-scrolled: color(display-p3 0.0784 0.0784 0.0643);
132
194
  --color-surface-elevated: #1c1917;
195
+ --color-surface-elevated: color(display-p3 0.1078 0.0985 0.0911);
133
196
  --color-surface-sunken: #0c0a09;
134
- --color-surface-navbar: #0c0a09;
135
- --color-surface-navbar-scrolled: #0c0a09;
197
+ --color-surface-sunken: color(display-p3 0.0457 0.0395 0.0358);
198
+ --color-surface-navbar: #141410;
199
+ --color-surface-navbar: color(display-p3 0.0784 0.0784 0.0643);
200
+ --color-surface-navbar-scrolled: #141410;
201
+ --color-surface-navbar-scrolled: color(display-p3 0.0784 0.0784 0.0643);
136
202
  --color-surface-code: #1c1917;
137
- --color-border-subtle: rgba(253, 249, 242, 0.08);
138
- --color-border-moderate: rgba(253, 249, 242, 0.15);
139
- --color-border-strong: rgba(253, 249, 242, 0.25);
140
- --color-border-card: rgba(253, 249, 242, 0.15);
203
+ --color-surface-code: color(display-p3 0.1078 0.0985 0.0911);
204
+ --color-border-subtle: #fdf9f2;
205
+ --color-border-subtle: color(display-p3 0.9894 0.977 0.9518);
206
+ --color-border-moderate: #fdf9f2;
207
+ --color-border-moderate: color(display-p3 0.9894 0.977 0.9518);
208
+ --color-border-strong: #fdf9f2;
209
+ --color-border-strong: color(display-p3 0.9894 0.977 0.9518);
210
+ --color-border-card: #fdf9f2;
211
+ --color-border-card: color(display-p3 0.9894 0.977 0.9518);
141
212
  --color-border-code: #292524;
213
+ --color-border-code: color(display-p3 0.1581 0.1456 0.1418);
142
214
  --color-content-primary: #fdf9f2;
215
+ --color-content-primary: color(display-p3 0.9894 0.977 0.9518);
143
216
  --color-content-secondary: #a8a29e;
144
- --color-content-muted: #78716c;
217
+ --color-content-secondary: color(display-p3 0.6547 0.6361 0.6215);
218
+ --color-content-muted: #89827d;
219
+ --color-content-muted: color(display-p3 0.5325 0.5107 0.4925);
145
220
  --color-content-inverse: #0c0a09;
146
- --color-interactive-primary: #f0a467;
147
- --color-interactive-hover: #ea8441;
148
- --color-interactive-accent: #b54a27;
149
- --color-interactive-focus: #f0a467;
150
- --color-presentation-accent: #3498DB;
151
- --color-presentation-accent-hover: #2980B9;
221
+ --color-content-inverse: color(display-p3 0.0457 0.0395 0.0358);
222
+ --color-interactive-primary: #98a384;
223
+ --color-interactive-primary: color(display-p3 0.604 0.6378 0.5291);
224
+ --color-interactive-hover: #7e8a6b;
225
+ --color-interactive-hover: color(display-p3 0.5029 0.5397 0.4313);
226
+ --color-interactive-accent: #3498db;
227
+ --color-interactive-accent: color(display-p3 0.3208 0.588 0.8369);
228
+ --color-interactive-focus: #98a384;
229
+ --color-interactive-focus: color(display-p3 0.604 0.6378 0.5291);
230
+ --color-presentation-accent: #3498db;
231
+ --color-presentation-accent: color(display-p3 0.3208 0.588 0.8369);
232
+ --color-presentation-accent-hover: #2980b9;
233
+ --color-presentation-accent-hover: color(display-p3 0.2638 0.495 0.7068);
234
+ --color-vertical-accent-dissertation: #ce8e5c;
235
+ --color-vertical-accent-dissertation: color(display-p3 0.8089 0.5486 0.3177);
236
+ --color-vertical-accent-rpkg: #60a5fa;
237
+ --color-vertical-accent-rpkg: color(display-p3 0.4405 0.6403 0.9545);
238
+ --color-vertical-accent-SGPc: #b2bf22;
239
+ --color-vertical-accent-SGPc: color(display-p3 0.7074 0.7474 0.2714);
240
+ --color-brand-mark-red: #ff0000;
241
+ --color-brand-mark-red: color(display-p3 1 0 0);
152
242
  --contrast-high: rgb(237, 237, 235);
153
243
  --contrast-readable: rgb(237, 237, 235);
154
244
  --contrast-medium: #83838f;
@@ -165,28 +255,58 @@
165
255
 
166
256
  @media (prefers-color-scheme: dark) {
167
257
  :root {
168
- --color-surface-page: #0c0a09;
169
- --color-surface-page-scrolled: #0c0a09;
258
+ --color-surface-page: #141410;
259
+ --color-surface-page: color(display-p3 0.0784 0.0784 0.0643);
260
+ --color-surface-page-scrolled: #141410;
261
+ --color-surface-page-scrolled: color(display-p3 0.0784 0.0784 0.0643);
170
262
  --color-surface-elevated: #1c1917;
263
+ --color-surface-elevated: color(display-p3 0.1078 0.0985 0.0911);
171
264
  --color-surface-sunken: #0c0a09;
172
- --color-surface-navbar: #0c0a09;
173
- --color-surface-navbar-scrolled: #0c0a09;
265
+ --color-surface-sunken: color(display-p3 0.0457 0.0395 0.0358);
266
+ --color-surface-navbar: #141410;
267
+ --color-surface-navbar: color(display-p3 0.0784 0.0784 0.0643);
268
+ --color-surface-navbar-scrolled: #141410;
269
+ --color-surface-navbar-scrolled: color(display-p3 0.0784 0.0784 0.0643);
174
270
  --color-surface-code: #1c1917;
175
- --color-border-subtle: rgba(253, 249, 242, 0.08);
176
- --color-border-moderate: rgba(253, 249, 242, 0.15);
177
- --color-border-strong: rgba(253, 249, 242, 0.25);
178
- --color-border-card: rgba(253, 249, 242, 0.15);
271
+ --color-surface-code: color(display-p3 0.1078 0.0985 0.0911);
272
+ --color-border-subtle: #fdf9f2;
273
+ --color-border-subtle: color(display-p3 0.9894 0.977 0.9518);
274
+ --color-border-moderate: #fdf9f2;
275
+ --color-border-moderate: color(display-p3 0.9894 0.977 0.9518);
276
+ --color-border-strong: #fdf9f2;
277
+ --color-border-strong: color(display-p3 0.9894 0.977 0.9518);
278
+ --color-border-card: #fdf9f2;
279
+ --color-border-card: color(display-p3 0.9894 0.977 0.9518);
179
280
  --color-border-code: #292524;
281
+ --color-border-code: color(display-p3 0.1581 0.1456 0.1418);
180
282
  --color-content-primary: #fdf9f2;
283
+ --color-content-primary: color(display-p3 0.9894 0.977 0.9518);
181
284
  --color-content-secondary: #a8a29e;
182
- --color-content-muted: #78716c;
285
+ --color-content-secondary: color(display-p3 0.6547 0.6361 0.6215);
286
+ --color-content-muted: #89827d;
287
+ --color-content-muted: color(display-p3 0.5325 0.5107 0.4925);
183
288
  --color-content-inverse: #0c0a09;
184
- --color-interactive-primary: #f0a467;
185
- --color-interactive-hover: #ea8441;
186
- --color-interactive-accent: #b54a27;
187
- --color-interactive-focus: #f0a467;
188
- --color-presentation-accent: #3498DB;
189
- --color-presentation-accent-hover: #2980B9;
289
+ --color-content-inverse: color(display-p3 0.0457 0.0395 0.0358);
290
+ --color-interactive-primary: #98a384;
291
+ --color-interactive-primary: color(display-p3 0.604 0.6378 0.5291);
292
+ --color-interactive-hover: #7e8a6b;
293
+ --color-interactive-hover: color(display-p3 0.5029 0.5397 0.4313);
294
+ --color-interactive-accent: #3498db;
295
+ --color-interactive-accent: color(display-p3 0.3208 0.588 0.8369);
296
+ --color-interactive-focus: #98a384;
297
+ --color-interactive-focus: color(display-p3 0.604 0.6378 0.5291);
298
+ --color-presentation-accent: #3498db;
299
+ --color-presentation-accent: color(display-p3 0.3208 0.588 0.8369);
300
+ --color-presentation-accent-hover: #2980b9;
301
+ --color-presentation-accent-hover: color(display-p3 0.2638 0.495 0.7068);
302
+ --color-vertical-accent-dissertation: #ce8e5c;
303
+ --color-vertical-accent-dissertation: color(display-p3 0.8089 0.5486 0.3177);
304
+ --color-vertical-accent-rpkg: #60a5fa;
305
+ --color-vertical-accent-rpkg: color(display-p3 0.4405 0.6403 0.9545);
306
+ --color-vertical-accent-SGPc: #b2bf22;
307
+ --color-vertical-accent-SGPc: color(display-p3 0.7074 0.7474 0.2714);
308
+ --color-brand-mark-red: #ff0000;
309
+ --color-brand-mark-red: color(display-p3 1 0 0);
190
310
  --contrast-high: rgb(237, 237, 235);
191
311
  --contrast-readable: rgb(237, 237, 235);
192
312
  --contrast-medium: #83838f;
@@ -215,13 +335,27 @@ html {
215
335
  -moz-osx-font-smoothing: grayscale;
216
336
  }
217
337
 
218
- /* Global typography hierarchy */
338
+ /* Global typography hierarchy
339
+ *
340
+ * Iteration-1 (2026-04-30): headings now consume the display family by default
341
+ * (editorial Josefin Sans), with .di-prose rebinding to documentation Noto Sans.
342
+ * Per-level weights consume the heading-weight cluster from typography.json
343
+ * rather than a single flat weight, so the 400 floor and h1=500 governance
344
+ * decisions take effect through the published CSS.
345
+ *
346
+ * The !important is preserved for Bootstrap-override discipline (the
347
+ * [data-bs-theme] selectors in the token build imply Bootstrap may set
348
+ * its own heading rules at higher specificity); only the family value changes.
349
+ *
350
+ * See wiki/decisions/{josefin-weight-floor, display-family-split,
351
+ * h1-weight-medium, display-lining-figures}.md for the governance.
352
+ */
219
353
  h1, h2, h3, h4, h5, h6 {
220
- font-family: var(--font-family-sans) !important;
354
+ font-family: var(--font-family-display) !important;
355
+ font-feature-settings: var(--font-feature-settings-display);
221
356
  }
222
357
 
223
358
  h1, h2, h3, h4, h5, h6 {
224
- font-weight: var(--font-weight-semibold);
225
359
  line-height: var(--font-lineHeight-tight);
226
360
  margin-top: 0;
227
361
  margin-bottom: var(--spacing-md);
@@ -230,28 +364,34 @@ h1, h2, h3, h4, h5, h6 {
230
364
 
231
365
  h1 {
232
366
  font-size: var(--font-size-4xl);
367
+ font-weight: var(--font-weight-heading-h1);
233
368
  margin-bottom: var(--spacing-lg);
234
369
  }
235
370
 
236
371
  h2 {
237
372
  font-size: var(--font-size-3xl);
373
+ font-weight: var(--font-weight-heading-h2);
238
374
  margin-bottom: var(--spacing-lg);
239
375
  }
240
376
 
241
377
  h3 {
242
378
  font-size: var(--font-size-2xl);
379
+ font-weight: var(--font-weight-heading-h3);
243
380
  }
244
381
 
245
382
  h4 {
246
383
  font-size: var(--font-size-xl);
384
+ font-weight: var(--font-weight-heading-h4);
247
385
  }
248
386
 
249
387
  h5 {
250
388
  font-size: var(--font-size-lg);
389
+ font-weight: var(--font-weight-heading-h5);
251
390
  }
252
391
 
253
392
  h6 {
254
393
  font-size: var(--font-size-base);
394
+ font-weight: var(--font-weight-heading-h6);
255
395
  }
256
396
 
257
397
  p {
@@ -1024,6 +1164,19 @@ svg {
1024
1164
  background-color: var(--color-background-surface);
1025
1165
  }
1026
1166
 
1167
+ .di-prose {
1168
+ --font-family-display: var(--font-family-display-documentation);
1169
+ }
1170
+ .di-prose h1, .di-prose h2, .di-prose h3, .di-prose h4, .di-prose h5, .di-prose h6 {
1171
+ font-weight: var(--font-weight-semibold);
1172
+ }
1173
+
1174
+ .di-numeric-display {
1175
+ font-family: var(--font-family-display-editorial);
1176
+ font-weight: var(--font-weight-light);
1177
+ font-feature-settings: "tnum", "lnum";
1178
+ }
1179
+
1027
1180
  .sr-only {
1028
1181
  position: absolute !important;
1029
1182
  width: 1px !important;
@@ -1091,4 +1244,4 @@ a {
1091
1244
  --color-border-default: #000000;
1092
1245
  --color-border-focus: #FF0000;
1093
1246
  }
1094
- }
1247
+ }
package/dist/dataimago.min.css CHANGED
@@ -1 +1 @@
1
- :root{--color-palette-ink-50: #f5f5f4;--color-palette-ink-100: #e7e5e4;--color-palette-ink-200: #d6d3d1;--color-palette-ink-300: #a8a29e;--color-palette-ink-400: #78716c;--color-palette-ink-500: #57534e;--color-palette-ink-600: #44403c;--color-palette-ink-700: #292524;--color-palette-ink-800: #1c1917;--color-palette-ink-900: #0c0a09;--color-palette-cream-50: #fefdfb;--color-palette-cream-100: #fdf9f2;--color-palette-cream-200: #faf2e3;--color-palette-cream-300: #f5e8cf;--color-palette-cream-400: #edd9b3;--color-palette-cream-500: #e0c088;--color-palette-copper-50: #fdf4ee;--color-palette-copper-100: #fbe5d1;--color-palette-copper-200: #f6c79c;--color-palette-copper-300: #f0a467;--color-palette-copper-400: #ea8441;--color-palette-copper-500: #d46820;--color-palette-copper-600: #b55017;--color-palette-copper-700: #913d15;--color-palette-copper-800: #753318;--color-palette-copper-900: #612b16;--color-palette-accent-50: #fdf2f2;--color-palette-accent-500: #b54a27;--color-palette-accent-600: #9a3e20;--color-palette-accent-700: #7d321a;--color-palette-presentation-blue-50: #f0f8fc;--color-palette-presentation-blue-500: #3498DB;--color-palette-presentation-blue-600: #2980B9;--color-palette-presentation-blue-700: #1f618d;--color-functional-success: #27AE60;--color-functional-warning: #F39C12;--color-functional-error: #E74C3C;--color-functional-info: #3498DB;--font-family-sans: Fira Sans, system-ui, sans-serif;--font-family-mono: JetBrains Mono, SF Mono, Monaco, Inconsolata, monospace;--font-family-display: Josefin Sans, system-ui, sans-serif;--font-family-brand: Futura, system-ui, sans-serif;--font-family-math: Fira Math, Fira Sans Math, system-ui, sans-serif;--font-size-micro: 0.75rem;--font-size-small: 0.875rem;--font-size-base: 1rem;--font-size-readable: 1.125rem;--font-size-emphasis: 1.25rem;--font-size-heading-small: 1.5rem;--font-size-heading-medium: 1.875rem;--font-size-heading-large: 2.25rem;--font-size-heading-xl: 3rem;--font-weight-extralight: 200;--font-weight-light: 300;--font-weight-normal: 400;--font-weight-medium: 500;--font-weight-semibold: 600;--font-weight-bold: 700;--font-weight-heading-h1: var(--font-weight-bold);--font-weight-heading-h2: var(--font-weight-medium);--font-weight-heading-h3: var(--font-weight-normal);--font-weight-heading-h4: var(--font-weight-light);--font-weight-heading-h5: var(--font-weight-light);--font-weight-heading-h6: var(--font-weight-light);--font-weight-heading-subtitle: var(--font-weight-semibold);--font-style-normal: normal;--font-style-italic: italic;--font-style-oblique: oblique;--font-lineHeight-tight: 1.25;--font-lineHeight-normal: 1.5;--font-lineHeight-relaxed: 1.625;--spacing-xs: 0.25rem;--spacing-sm: 0.5rem;--spacing-md: 1rem;--spacing-lg: 1.5rem;--spacing-xl: 2rem;--spacing-2xl: 3rem;--spacing-3xl: 4rem;--radius-sm: 0.25rem;--radius-md: 0.5rem;--radius-lg: 0.75rem;--radius-xl: 1rem;--radius-full: 9999px;--shadow-sm: 0 1px 2px 0 rgb(0 0 0 / 0.05);--shadow-md: 0 4px 6px -1px rgb(0 0 0 / 0.1);--shadow-lg: 0 10px 15px -3px rgb(0 0 0 / 0.1);--shadow-xl: 0 20px 25px -5px rgb(0 0 0 / 0.1)}:root,[data-bs-theme=light]{--color-surface-page: #fdf9f2;--color-surface-page-scrolled: #fdf9f2;--color-surface-elevated: #fefdfb;--color-surface-sunken: #faf2e3;--color-surface-navbar: #fdf9f2;--color-surface-navbar-scrolled: #fdf9f2;--color-surface-code: #faf2e3;--color-border-subtle: rgba(12, 10, 9, 0.08);--color-border-moderate: rgba(12, 10, 9, 0.15);--color-border-strong: rgba(12, 10, 9, 0.25);--color-border-card: rgba(12, 10, 9, 0.15);--color-border-code: #d6d3d1;--color-content-primary: #0c0a09;--color-content-secondary: #57534e;--color-content-muted: #78716c;--color-content-inverse: #fdf9f2;--color-interactive-primary: #d46820;--color-interactive-hover: #b55017;--color-interactive-accent: #b54a27;--color-interactive-focus: #d46820;--color-presentation-accent: #3498DB;--color-presentation-accent-hover: #2980B9;--contrast-high: rgb(20, 20, 16);--contrast-readable: rgb(20, 20, 16);--contrast-medium: #7c7c7c;--contrast-subtle: #7c7c7c;--shadow-subtle: 0 1px 2px 0 rgb(20 20 16 / 0.05);--shadow-moderate: 0 4px 6px -1px rgb(20 20 16 / 0.1);--shadow-prominent: 0 10px 15px -3px rgb(20 20 16 / 0.1);--border-subtle: rgba(20, 20, 16, 0.1);--border-moderate: rgba(20, 20, 16, 0.15);--border-focus: #3498DB;--navigation-hover-background: rgba(20, 20, 16, 0.05);--navigation-active-background: rgba(20, 20, 16, 0.1)}[data-bs-theme=dark]{--color-surface-page: #0c0a09;--color-surface-page-scrolled: #0c0a09;--color-surface-elevated: #1c1917;--color-surface-sunken: #0c0a09;--color-surface-navbar: #0c0a09;--color-surface-navbar-scrolled: #0c0a09;--color-surface-code: #1c1917;--color-border-subtle: rgba(253, 249, 242, 0.08);--color-border-moderate: rgba(253, 249, 242, 0.15);--color-border-strong: rgba(253, 249, 242, 0.25);--color-border-card: rgba(253, 249, 242, 0.15);--color-border-code: #292524;--color-content-primary: #fdf9f2;--color-content-secondary: #a8a29e;--color-content-muted: #78716c;--color-content-inverse: #0c0a09;--color-interactive-primary: #f0a467;--color-interactive-hover: #ea8441;--color-interactive-accent: #b54a27;--color-interactive-focus: #f0a467;--color-presentation-accent: #3498DB;--color-presentation-accent-hover: #2980B9;--contrast-high: rgb(237, 237, 235);--contrast-readable: rgb(237, 237, 235);--contrast-medium: #83838f;--contrast-subtle: #83838f;--shadow-subtle: 0 1px 2px 0 rgb(237 237 235 / 0.03);--shadow-moderate: 0 4px 6px -1px rgb(237 237 235 / 0.05);--shadow-prominent: 0 10px 15px -3px rgb(237 237 235 / 0.4);--border-subtle: rgba(237, 237, 235, 0.1);--border-moderate: rgba(237, 237, 235, 0.15);--border-focus: #4FC3F7;--navigation-hover-background: rgba(237, 237, 235, 0.05);--navigation-active-background: rgba(237, 237, 235, 0.1)}@media(prefers-color-scheme: dark){:root{--color-surface-page: #0c0a09;--color-surface-page-scrolled: #0c0a09;--color-surface-elevated: #1c1917;--color-surface-sunken: #0c0a09;--color-surface-navbar: #0c0a09;--color-surface-navbar-scrolled: #0c0a09;--color-surface-code: #1c1917;--color-border-subtle: rgba(253, 249, 242, 0.08);--color-border-moderate: rgba(253, 249, 242, 0.15);--color-border-strong: rgba(253, 249, 242, 0.25);--color-border-card: rgba(253, 249, 242, 0.15);--color-border-code: #292524;--color-content-primary: #fdf9f2;--color-content-secondary: #a8a29e;--color-content-muted: #78716c;--color-content-inverse: #0c0a09;--color-interactive-primary: #f0a467;--color-interactive-hover: #ea8441;--color-interactive-accent: #b54a27;--color-interactive-focus: #f0a467;--color-presentation-accent: #3498DB;--color-presentation-accent-hover: #2980B9;--contrast-high: rgb(237, 237, 235);--contrast-readable: rgb(237, 237, 235);--contrast-medium: #83838f;--contrast-subtle: #83838f;--shadow-subtle: 0 1px 2px 0 rgb(237 237 235 / 0.03);--shadow-moderate: 0 4px 6px -1px rgb(237 237 235 / 0.05);--shadow-prominent: 0 10px 15px -3px rgb(237 237 235 / 0.4);--border-subtle: rgba(237, 237, 235, 0.1);--border-moderate: rgba(237, 237, 235, 0.15);--border-focus: #4FC3F7;--navigation-hover-background: rgba(237, 237, 235, 0.05);--navigation-active-background: rgba(237, 237, 235, 0.1)}}*{box-sizing:border-box}html{font-family:var(--font-family-sans);font-size:var(--font-size-base);line-height:var(--font-lineHeight-normal);color:var(--theme-text-primary);background-color:var(--theme-body-bg);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}h1,h2,h3,h4,h5,h6{font-family:var(--font-family-sans) !important}h1,h2,h3,h4,h5,h6{font-weight:var(--font-weight-semibold);line-height:var(--font-lineHeight-tight);margin-top:0;margin-bottom:var(--spacing-md);color:var(--color-text-primary)}h1{font-size:var(--font-size-4xl);margin-bottom:var(--spacing-lg)}h2{font-size:var(--font-size-3xl);margin-bottom:var(--spacing-lg)}h3{font-size:var(--font-size-2xl)}h4{font-size:var(--font-size-xl)}h5{font-size:var(--font-size-lg)}h6{font-size:var(--font-size-base)}p{margin-top:0;margin-bottom:var(--spacing-md);line-height:var(--font-lineHeight-normal)}a{color:var(--color-brand-accent);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:2px;transition:color .2s ease}a:hover{color:var(--color-brand-primary);text-decoration-thickness:2px}a:focus{outline:2px solid var(--color-border-focus);outline-offset:2px;border-radius:var(--radius-sm)}code{font-family:var(--font-family-mono);font-size:.9em;padding:.1em .3em;background-color:var(--color-background-surface);border-radius:var(--radius-sm);color:var(--color-brand-accent)}pre{font-family:var(--font-family-mono);font-size:.9em;padding:var(--spacing-md);background-color:var(--color-background-surface);border:1px solid var(--color-border-default);border-radius:var(--radius-md);overflow-x:auto;margin-bottom:var(--spacing-md)}pre code{background:rgba(0,0,0,0);padding:0;color:inherit}.svg-container{display:inline-flex;align-items:center;justify-content:center;transition:transform var(--logo-transition-duration) ease}svg{width:100%;height:auto;max-width:100%;display:block}.navbar-logo{background-size:contain;background-repeat:no-repeat;max-height:36px;transition:max-height var(--logo-transition-duration) ease-in-out,transform var(--logo-transition-duration) ease-in-out,opacity var(--logo-transition-duration) ease-in-out;will-change:max-height,transform,opacity}.navbar-logo.shrink{max-height:28px}.navbar-logo.transitioning{opacity:.8;transition:opacity .15s ease-in-out}.navbar-brand-logo{display:inline-flex;align-items:center}.navbar-brand-logo svg{height:36px;width:auto;transition:all var(--logo-transition-duration) ease}.hex-logo-container{position:relative;display:inline-block;margin:0 auto}.hex-logo-container svg{width:280px;height:auto;transition:all var(--logo-transition-duration) ease}@media(max-width: 768px){.hex-logo-container svg{width:200px}}@media(prefers-reduced-motion: no-preference){.landing-logo{animation:gentle-float 6s ease-in-out infinite}.landing-logo:hover{animation-play-state:paused;transform:scale(1.05)}}@keyframes gentle-float{0%,100%{transform:translateY(0px)}50%{transform:translateY(-10px)}}.footer-quarto-logo{display:inline-flex;align-items:center}.footer-quarto-logo svg{height:24px;width:auto;transition:all var(--logo-transition-duration) ease}.footer-quarto-logo path{transition:fill var(--logo-transition-duration) ease}.footer-quarto-logo:hover path,a:hover .footer-quarto-logo path{fill:var(--logo-hover-fill)}.social-icons{display:flex;gap:1rem;align-items:center}.social-icons a{display:inline-flex;align-items:center;transition:transform var(--logo-transition-duration) ease}.social-icons a:hover{transform:translateY(-2px)}.social-icons svg,.social-icons iconify-icon{width:24px;height:24px;transition:all var(--logo-transition-duration) ease}.navbar-nav .nav-link[href*="github.com"],.navbar-nav .nav-link[href*="bsky.app"]{display:inline-flex;align-items:center}.navbar-nav .nav-link[href*="github.com"] iconify-icon,.navbar-nav .nav-link[href*="bsky.app"] iconify-icon{font-size:1.2rem;transition:color var(--logo-transition-duration) ease}.navbar-nav .nav-link[href*="github.com"]:hover iconify-icon,.navbar-nav .nav-link[href*="bsky.app"]:hover iconify-icon{color:var(--theme-text-hover)}@media(prefers-reduced-motion: no-preference){.svg-pulse{animation:svg-pulse 2s ease-in-out infinite}.svg-rotate{animation:svg-rotate 20s linear infinite}}@keyframes svg-pulse{0%,100%{opacity:1}50%{opacity:.7}}@keyframes svg-rotate{from{transform:rotate(0deg)}to{transform:rotate(360deg)}}.svg-scale-hover{transition:transform var(--logo-transition-duration) ease}.svg-scale-hover:hover{transform:scale(1.1)}.theme-svg path,.theme-svg circle,.theme-svg rect,.theme-svg polygon{fill:var(--logo-default-fill);transition:fill var(--logo-transition-duration) ease}.theme-svg.svg-hover path,.theme-svg.svg-hover circle,.theme-svg.svg-hover rect,.theme-svg.svg-hover polygon,.theme-svg:hover path,.theme-svg:hover circle,.theme-svg:hover rect,.theme-svg:hover polygon{fill:var(--logo-hover-fill);stroke:var(--logo-hover-stroke, transparent)}.theme-svg.logo-navbar path,.theme-svg.logo-navbar circle,.theme-svg.logo-navbar rect,.theme-svg.logo-navbar polygon{fill:var(--logo-default-fill)}.theme-svg.logo-hex path,.theme-svg.logo-hex circle,.theme-svg.logo-hex rect,.theme-svg.logo-hex polygon{fill:var(--logo-default-fill)}[data-bs-theme=light] .theme-adaptive-svg{filter:none}[data-bs-theme=dark] .theme-adaptive-svg{filter:invert(1) hue-rotate(180deg)}.svg-loading{position:relative}.svg-loading::after{content:"";position:absolute;top:50%;left:50%;width:20px;height:20px;margin:-10px 0 0 -10px;border:2px solid var(--theme-text-secondary);border-top-color:rgba(0,0,0,0);border-radius:50%}.svg-loading svg{opacity:.3}@media(prefers-reduced-motion: no-preference){.svg-loading::after{animation:svg-spinner .8s linear infinite}}@keyframes svg-spinner{to{transform:rotate(360deg)}}.svg-aspect-ratio{position:relative;width:100%}.svg-aspect-ratio::before{content:"";display:block;padding-bottom:100%}.svg-aspect-ratio svg{position:absolute;top:0;left:0;width:100%;height:100%}.svg-xs{max-width:16px}.svg-sm{max-width:24px}.svg-md{max-width:32px}.svg-lg{max-width:48px}.svg-xl{max-width:64px}.svg-decorative{aria-hidden:true}.svg-icon[role=img]{pointer-events:none}.svg-interactive{cursor:pointer;transition:all var(--logo-transition-duration) ease}.svg-interactive:focus{outline:2px solid var(--theme-focus-color);outline-offset:2px}.svg-interactive:focus:not(:focus-visible){outline:none}.svg-accelerated{transform:translateZ(0);backface-visibility:hidden;perspective:1000px}@media(prefers-reduced-motion: reduce){.svg-container,.navbar-logo,.landing-logo,.svg-pulse,.svg-rotate,.svg-scale-hover{animation:none !important;transition:none !important}}.di-callout,.proof,.theorem,.definition,.proposition{padding:var(--spacing-md, 1rem) var(--spacing-md, 1rem) var(--spacing-md, 1rem) var(--spacing-lg, 1.5rem);margin:var(--spacing-lg, 1.5rem) 0;border-radius:var(--radius-sm, 4px);background-color:var(--color-surface-sunken);border-left:4px solid var(--color-interactive-primary)}.di-callout .di-callout-title,.di-callout .proof-title,.proof .di-callout-title,.proof .proof-title,.di-callout .theorem-title,.proof .theorem-title,.di-callout .definition-title,.proof .definition-title,.di-callout .proposition-title,.proof .proposition-title,.theorem .di-callout-title,.theorem .proof-title,.theorem .theorem-title,.theorem .definition-title,.theorem .proposition-title,.definition .di-callout-title,.definition .proof-title,.definition .theorem-title,.definition .definition-title,.definition .proposition-title,.proposition .di-callout-title,.proposition .proof-title,.proposition .theorem-title,.proposition .definition-title,.proposition .proposition-title{font-family:var(--font-family-display);font-weight:var(--font-weight-semibold);margin-bottom:.5rem;color:var(--color-content-primary)}.di-callout>:last-child,.proof>:last-child,.theorem>:last-child,.definition>:last-child,.proposition>:last-child{margin-bottom:0}.di-callout-insight{border-left-color:var(--color-interactive-accent)}.di-callout-insight .di-callout-title,.di-callout-insight .proof-title,.di-callout-insight .theorem-title,.di-callout-insight .definition-title,.di-callout-insight .proposition-title{color:var(--color-interactive-accent)}.di-callout-tip{border-left-color:var(--color-presentation-accent)}.di-callout-tip .di-callout-title,.di-callout-tip .proof-title,.di-callout-tip .theorem-title,.di-callout-tip .definition-title,.di-callout-tip .proposition-title{color:var(--color-presentation-accent)}.di-callout-proof,.proof{margin:var(--spacing-md, 1rem) 0}.di-callout-proof .di-callout-title,.di-callout-proof .proof-title,.proof .di-callout-title,.proof .proof-title,.di-callout-proof .theorem-title,.proof .theorem-title,.di-callout-proof .definition-title,.proof .definition-title,.di-callout-proof .proposition-title,.proof .proposition-title{font-style:italic;font-weight:var(--font-weight-medium);color:var(--color-content-primary)}.di-callout-proof::after,.proof::after{content:"□";float:right;color:var(--color-content-secondary)}.di-callout-rich{padding:0;margin:.6em 0 .8em 0;border-radius:6px;border-left-width:4px;border-style:solid;overflow:hidden}.di-callout-rich .di-callout-title,.di-callout-rich .proof-title,.di-callout-rich .theorem-title,.di-callout-rich .definition-title,.di-callout-rich .proposition-title{margin:0;padding:.35em .75em;font-family:var(--font-family-display);font-weight:var(--font-weight-semibold);border-bottom:1px solid currentColor}.di-callout-rich>:not(.di-callout-title):not(.proof-title):not(.theorem-title):not(.definition-title):not(.proposition-title){padding-left:.9em;padding-right:.9em}.di-callout-rich>:last-child{padding-bottom:.55em}.di-callout-rich.di-callout-theorem,.di-callout-rich.theorem,.di-callout-rich.definition,.di-callout-rich.proposition{background:linear-gradient(135deg, color-mix(in srgb, var(--color-interactive-primary) 10%, transparent), color-mix(in srgb, var(--color-interactive-primary) 3%, transparent));border-color:color-mix(in srgb, var(--color-interactive-primary) 30%, transparent);border-left-color:var(--color-interactive-primary)}.di-callout-rich.di-callout-theorem .di-callout-title,.di-callout-rich.di-callout-theorem .proof-title,.di-callout-rich.di-callout-theorem .theorem-title,.di-callout-rich.di-callout-theorem .definition-title,.di-callout-rich.di-callout-theorem .proposition-title,.di-callout-rich.theorem .di-callout-title,.di-callout-rich.theorem .proof-title,.di-callout-rich.theorem .theorem-title,.di-callout-rich.theorem .definition-title,.di-callout-rich.theorem .proposition-title,.di-callout-rich.definition .di-callout-title,.di-callout-rich.definition .proof-title,.di-callout-rich.definition .theorem-title,.di-callout-rich.definition .definition-title,.di-callout-rich.definition .proposition-title,.di-callout-rich.proposition .di-callout-title,.di-callout-rich.proposition .proof-title,.di-callout-rich.proposition .theorem-title,.di-callout-rich.proposition .definition-title,.di-callout-rich.proposition .proposition-title{background:color-mix(in srgb, var(--color-interactive-primary) 18%, transparent);color:color-mix(in srgb, var(--color-interactive-primary) 80%, var(--color-content-primary));border-bottom-color:color-mix(in srgb, var(--color-interactive-primary) 28%, transparent)}.di-callout-rich.di-callout-insight{background:linear-gradient(135deg, color-mix(in srgb, var(--color-interactive-accent) 10%, transparent), color-mix(in srgb, var(--color-interactive-accent) 3%, transparent));border-color:color-mix(in srgb, var(--color-interactive-accent) 30%, transparent);border-left-color:var(--color-interactive-accent)}.di-callout-rich.di-callout-insight .di-callout-title,.di-callout-rich.di-callout-insight .proof-title,.di-callout-rich.di-callout-insight .theorem-title,.di-callout-rich.di-callout-insight .definition-title,.di-callout-rich.di-callout-insight .proposition-title{background:color-mix(in srgb, var(--color-interactive-accent) 18%, transparent);color:color-mix(in srgb, var(--color-interactive-accent) 80%, var(--color-content-primary));border-bottom-color:color-mix(in srgb, var(--color-interactive-accent) 28%, transparent)}.di-callout-rich.di-callout-tip{background:linear-gradient(135deg, color-mix(in srgb, var(--color-presentation-accent) 8%, transparent), color-mix(in srgb, var(--color-presentation-accent) 3%, transparent));border-color:color-mix(in srgb, var(--color-presentation-accent) 20%, transparent);border-left-color:var(--color-presentation-accent)}.di-callout-rich.di-callout-tip .di-callout-title,.di-callout-rich.di-callout-tip .proof-title,.di-callout-rich.di-callout-tip .theorem-title,.di-callout-rich.di-callout-tip .definition-title,.di-callout-rich.di-callout-tip .proposition-title{background:color-mix(in srgb, var(--color-presentation-accent) 15%, transparent);color:var(--color-presentation-accent-hover);border-bottom-color:color-mix(in srgb, var(--color-presentation-accent) 25%, transparent)}.di-figure-box{border:1px solid var(--color-border-moderate);padding:4px;background-color:var(--color-surface-sunken);display:inline-block;cursor:pointer;transition:transform .3s cubic-bezier(0.4, 0, 0.2, 1),box-shadow .3s cubic-bezier(0.4, 0, 0.2, 1),border-color .3s cubic-bezier(0.4, 0, 0.2, 1)}.di-figure-box:hover{transform:translateY(-2px);box-shadow:var(--shadow-prominent, 0 4px 12px rgba(0, 0, 0, 0.15));border-color:var(--color-interactive-primary)}.di-figure-box:active{transform:translateY(-1px);box-shadow:var(--shadow-moderate, 0 2px 8px rgba(0, 0, 0, 0.12))}.di-figure-box:focus-visible{outline:2px solid var(--color-interactive-focus);outline-offset:2px}.di-figure-modal{display:none;position:fixed;inset:0;z-index:9999;background-color:color-mix(in srgb, var(--color-content-primary) 92%, transparent);backdrop-filter:blur(4px);-webkit-backdrop-filter:blur(4px)}.di-figure-modal.is-open{display:flex;align-items:center;justify-content:center;animation:di-figure-modal-fade-in .25s ease}.di-figure-modal .di-figure-modal-content{position:relative;max-width:95vw;max-height:95vh;animation:di-figure-modal-zoom-in .3s cubic-bezier(0.4, 0, 0.2, 1)}.di-figure-modal .di-figure-modal-content img{width:auto;height:auto;max-width:95vw;max-height:95vh;object-fit:contain;border:2px solid var(--color-interactive-primary);background-color:var(--color-surface-elevated);padding:8px;box-shadow:0 20px 60px color-mix(in srgb, var(--color-content-primary) 40%, transparent)}.di-figure-modal .di-figure-modal-close{position:absolute;top:-40px;right:0;font-size:2rem;color:var(--color-content-inverse);background:none;border:none;cursor:pointer;padding:.5rem;line-height:1;transition:transform .2s ease,color .2s ease;font-family:inherit}.di-figure-modal .di-figure-modal-close:hover{transform:scale(1.2);color:var(--color-interactive-primary)}.di-figure-modal .di-figure-modal-close:focus-visible{outline:2px solid var(--color-interactive-primary);outline-offset:4px;border-radius:var(--radius-sm, 0.25rem)}.di-figure-modal .di-figure-modal-caption{position:absolute;bottom:-60px;left:0;right:0;text-align:center;color:var(--color-content-inverse);font-size:var(--font-size-small, 0.9rem);font-style:italic;padding:0 2rem;line-height:var(--line-height-normal, 1.4)}@keyframes di-figure-modal-fade-in{from{opacity:0}to{opacity:1}}@keyframes di-figure-modal-zoom-in{from{opacity:0;transform:scale(0.9)}to{opacity:1;transform:scale(1)}}@media(prefers-reduced-motion: reduce){.di-figure-box{transition:none !important}.di-figure-box:hover,.di-figure-box:active{transform:none !important}.di-figure-modal,.di-figure-modal .di-figure-modal-content,.di-figure-modal .di-figure-modal-close{animation:none !important;transition:none !important}.di-figure-modal .di-figure-modal-close:hover{transform:none !important}}.di-card{background:var(--color-surface-elevated);border:1px solid var(--color-border-subtle);border-radius:var(--radius-component);padding:var(--spacing-component-padding);box-shadow:var(--shadow-moderate);transition:box-shadow .2s ease,transform .2s ease}.di-card:hover{box-shadow:var(--shadow-prominent);transform:translateY(-2px)}.di-card-title{margin:0;font-weight:var(--font-weight-semibold);font-size:var(--font-size-readable);color:var(--color-content-primary)}.di-button{display:inline-flex;align-items:center;justify-content:center;gap:var(--spacing-micro-tight);padding:var(--spacing-micro-normal) var(--spacing-component-padding);border:1px solid var(--color-border-subtle);border-radius:var(--radius-component);background:var(--color-surface-elevated);color:var(--color-content-primary);text-decoration:none;font-weight:var(--font-weight-medium);font-size:var(--font-size-base);cursor:pointer;transition:all var(--transition-standard);min-height:2.5rem;font-family:inherit}.di-button:hover{background:var(--color-interactive-primary);color:var(--color-content-inverse);border-color:var(--color-interactive-primary);transform:translateY(-1px);box-shadow:var(--shadow-prominent)}.di-button:focus{outline:2px solid var(--color-interactive-focus);outline-offset:2px}.di-button-primary{background:var(--color-interactive-primary);color:var(--color-content-inverse);border-color:var(--color-interactive-primary)}.di-button-primary:hover{background:var(--color-interactive-hover);border-color:var(--color-interactive-hover)}.di-button:hover{background:var(--color-brand-accent);color:var(--color-text-inverse);border-color:var(--color-brand-accent);transform:translateY(-1px);box-shadow:var(--shadow-md);text-decoration:none}.di-button:focus{outline:2px solid var(--color-border-focus);outline-offset:2px}.di-button-primary{background:var(--color-brand-primary);color:var(--color-text-inverse);border-color:var(--color-brand-primary)}.di-button-primary:hover{background:var(--color-brand-accent);border-color:var(--color-brand-accent)}.di-hex-logo{transition:max-height .25s ease-in-out,transform .25s ease-in-out;cursor:pointer;max-width:100%;height:auto}.di-hex-logo:hover{transform:scale(1.05)}@media(max-width: 768px){.di-hex-logo{width:150px}}@media(max-width: 480px){.di-hex-logo{width:120px}}.di-m-0{margin:0}.di-m-xs{margin:var(--spacing-xs)}.di-m-sm{margin:var(--spacing-sm)}.di-m-md{margin:var(--spacing-md)}.di-m-lg{margin:var(--spacing-lg)}.di-m-xl{margin:var(--spacing-xl)}.di-p-0{padding:0}.di-p-xs{padding:var(--spacing-xs)}.di-p-sm{padding:var(--spacing-sm)}.di-p-md{padding:var(--spacing-md)}.di-p-lg{padding:var(--spacing-lg)}.di-p-xl{padding:var(--spacing-xl)}.di-block{display:block}.di-inline{display:inline}.di-flex{display:flex}.di-hidden{display:none}.di-justify-center{justify-content:center}.di-items-center{align-items:center}.di-flex-col{flex-direction:column}.di-text-center{text-align:center}.di-text-left{text-align:left}.di-text-right{text-align:right}.di-text-primary{color:var(--color-text-primary)}.di-text-secondary{color:var(--color-text-secondary)}.di-text-muted{color:var(--color-text-muted)}.di-bg-page{background-color:var(--color-background-page)}.di-bg-surface{background-color:var(--color-background-surface)}.sr-only{position:absolute !important;width:1px !important;height:1px !important;padding:0 !important;margin:-1px !important;overflow:hidden !important;clip:rect(0, 0, 0, 0) !important;white-space:nowrap !important;border:0 !important}*:focus{outline:2px solid var(--color-border-focus) !important;outline-offset:2px !important;border-radius:var(--radius-sm) !important}.di-button,button,[role=button],a{min-height:44px;min-width:44px;display:inline-flex;align-items:center;justify-content:center}@media(prefers-reduced-motion: reduce){*,*::before,*::after{animation-duration:.01ms !important;animation-iteration-count:1 !important;transition-duration:.01ms !important;scroll-behavior:auto !important}.di-card:hover,.di-button:hover,.di-button:focus,a:hover,button:hover,[role=button]:hover{transform:none !important}[data-parallax],[data-scroll-effect]{transform:none !important}}@media(prefers-reduced-motion: no-preference){html{scroll-behavior:smooth}}@media(prefers-contrast: high){:root{--color-brand-primary: #000000;--color-brand-accent: #0000FF;--color-text-primary: #000000;--color-text-inverse: #FFFFFF;--color-background-page: #FFFFFF;--color-background-surface: #F0F0F0;--color-border-default: #000000;--color-border-focus: #FF0000}}
1
+ :root{--color-palette-ink-50: #f5f5f4;--color-palette-ink-100: #e7e5e4;--color-palette-ink-200: #d6d3d1;--color-palette-ink-300: #a8a29e;--color-palette-ink-400: #78716c;--color-palette-ink-500: #57534e;--color-palette-ink-600: #44403c;--color-palette-ink-700: #292524;--color-palette-ink-800: #1c1917;--color-palette-ink-900: #0c0a09;--color-palette-stone-50: #f7f7f6;--color-palette-stone-100: #ededeb;--color-palette-stone-200: #dcdcda;--color-palette-stone-300: #c1c1bf;--color-palette-stone-400: #a0a0a0;--color-palette-stone-500: #7c7c7c;--color-palette-stone-600: #5e5e5c;--color-palette-stone-700: #424240;--color-palette-stone-800: #292927;--color-palette-stone-900: #14140f;--color-palette-forest-50: #f0f1ed;--color-palette-forest-100: #dde0d4;--color-palette-forest-200: #bdc4ad;--color-palette-forest-300: #98a384;--color-palette-forest-400: #7e8a6b;--color-palette-forest-500: #5e6749;--color-palette-forest-600: #4d5640;--color-palette-forest-700: #434739;--color-palette-forest-800: #363a2e;--color-palette-forest-900: #1f2218;--color-palette-paper-50: #fefdfb;--color-palette-paper-100: #fdf9f2;--color-palette-paper-200: #faf2e3;--color-palette-paper-300: #f5e8cf;--color-palette-paper-400: #edd9b3;--color-palette-paper-500: #e0c088;--color-palette-copper-50: #fdf4ee;--color-palette-copper-100: #fbe5d1;--color-palette-copper-200: #f6c79c;--color-palette-copper-300: #f0a467;--color-palette-copper-400: #ea8441;--color-palette-copper-500: #d46820;--color-palette-copper-600: #b55017;--color-palette-copper-700: #913d15;--color-palette-copper-800: #753318;--color-palette-copper-900: #612b16;--color-palette-accent-50: #f0f8fc;--color-palette-accent-300: #3498DB;--color-palette-accent-400: #2980B9;--color-palette-accent-500: #1f618d;--color-palette-accent-600: #154d6f;--color-palette-accent-700: #0f3a52;--color-palette-presentation-blue-50: #f0f8fc;--color-palette-presentation-blue-500: #3498DB;--color-palette-presentation-blue-600: #2980B9;--color-palette-presentation-blue-700: #1f618d;--color-functional-success: #27AE60;--color-functional-warning: #F39C12;--color-functional-error: #E74C3C;--color-functional-info: #3498DB;--transition-quick: 0.15s ease;--transition-standard: 0.25s ease-in-out;--transition-smooth: 0.35s ease;--transition-logo: 0.3s;--font-family-sans: Noto Sans, Fira Sans, system-ui, sans-serif;--font-family-mono: JetBrains Mono, SF Mono, Monaco, Inconsolata, monospace;--font-family-display: var(--font-family-display-editorial);--font-family-display-editorial: Josefin Sans, system-ui, sans-serif;--font-family-display-documentation: Noto Sans, system-ui, sans-serif;--font-family-brand: Futura, system-ui, sans-serif;--font-family-math: Noto Sans Math, Noto Sans, system-ui, sans-serif;--font-size-micro: 0.75rem;--font-size-small: 0.875rem;--font-size-base: 1rem;--font-size-readable: 1.125rem;--font-size-emphasis: 1.25rem;--font-size-heading-small: 1.5rem;--font-size-heading-medium: 1.875rem;--font-size-heading-large: 2.25rem;--font-size-heading-xl: 3rem;--font-weight-extralight: 200;--font-weight-light: 300;--font-weight-normal: 400;--font-weight-medium: 500;--font-weight-semibold: 600;--font-weight-bold: 700;--font-weight-heading-h1: var(--font-weight-medium);--font-weight-heading-h2: var(--font-weight-medium);--font-weight-heading-h3: var(--font-weight-normal);--font-weight-heading-h4: var(--font-weight-light);--font-weight-heading-h5: var(--font-weight-light);--font-weight-heading-h6: var(--font-weight-light);--font-weight-heading-subtitle: var(--font-weight-semibold);--font-style-normal: normal;--font-style-italic: italic;--font-style-oblique: oblique;--font-lineHeight-tight: 1.25;--font-lineHeight-normal: 1.5;--font-lineHeight-relaxed: 1.625;--font-feature-settings-display: "lnum";--font-feature-settings-body: "normal";--spacing-xs: 0.25rem;--spacing-sm: 0.5rem;--spacing-md: 1rem;--spacing-lg: 1.5rem;--spacing-xl: 2rem;--spacing-2xl: 3rem;--spacing-3xl: 4rem;--radius-sm: 0.25rem;--radius-md: 0.5rem;--radius-lg: 0.75rem;--radius-xl: 1rem;--radius-full: 9999px;--shadow-sm: 0 1px 2px 0 rgb(0 0 0 / 0.05);--shadow-md: 0 4px 6px -1px rgb(0 0 0 / 0.1);--shadow-lg: 0 10px 15px -3px rgb(0 0 0 / 0.1);--shadow-xl: 0 20px 25px -5px rgb(0 0 0 / 0.1)}:root,[data-bs-theme=light]{--color-surface-page: #ededeb;--color-surface-page: color(display-p3 0.9294 0.9294 0.9223);--color-surface-page-scrolled: #ededeb;--color-surface-page-scrolled: color(display-p3 0.9294 0.9294 0.9223);--color-surface-elevated: #f7f7f6;--color-surface-elevated: color(display-p3 0.9686 0.9686 0.9651);--color-surface-sunken: #faf2e3;--color-surface-sunken: color(display-p3 0.9749 0.9501 0.8963);--color-surface-navbar: #ededeb;--color-surface-navbar: color(display-p3 0.9294 0.9294 0.9223);--color-surface-navbar-scrolled: #ededeb;--color-surface-navbar-scrolled: color(display-p3 0.9294 0.9294 0.9223);--color-surface-code: #faf2e3;--color-surface-code: color(display-p3 0.9749 0.9501 0.8963);--color-border-subtle: #0c0a09;--color-border-subtle: color(display-p3 0.0457 0.0395 0.0358);--color-border-moderate: #0c0a09;--color-border-moderate: color(display-p3 0.0457 0.0395 0.0358);--color-border-strong: #0c0a09;--color-border-strong: color(display-p3 0.0457 0.0395 0.0358);--color-border-card: #0c0a09;--color-border-card: color(display-p3 0.0457 0.0395 0.0358);--color-border-code: #d6d3d1;--color-border-code: color(display-p3 0.8371 0.8278 0.8205);--color-content-primary: #14140f;--color-content-primary: color(display-p3 0.0784 0.0784 0.0608);--color-content-secondary: #6a6a6a;--color-content-secondary: color(display-p3 0.4157 0.4157 0.4157);--color-content-muted: #706964;--color-content-muted: color(display-p3 0.4345 0.4127 0.3945);--color-content-inverse: #fdf9f2;--color-content-inverse: color(display-p3 0.9894 0.977 0.9518);--color-interactive-primary: #434739;--color-interactive-primary: color(display-p3 0.2656 0.2779 0.2287);--color-interactive-hover: #363a2e;--color-interactive-hover: color(display-p3 0.2146 0.2269 0.1848);--color-interactive-accent: #1f618d;--color-interactive-accent: color(display-p3 0.198 0.375 0.5385);--color-interactive-focus: #434739;--color-interactive-focus: color(display-p3 0.2656 0.2779 0.2287);--color-presentation-accent: #3498db;--color-presentation-accent: color(display-p3 0.3208 0.588 0.8369);--color-presentation-accent-hover: #2980b9;--color-presentation-accent-hover: color(display-p3 0.2638 0.495 0.7068);--color-vertical-accent-dissertation: #b87333;--color-vertical-accent-dissertation: color(display-p3 0.7242 0.4389 0.1259);--color-vertical-accent-rpkg: #3b82f6;--color-vertical-accent-rpkg: color(display-p3 0.3047 0.5035 0.9338);--color-vertical-accent-SGPc: #5a6310;--color-vertical-accent-SGPc: color(display-p3 0.3595 0.3871 0.1309);--color-brand-mark-red: #cc0000;--color-brand-mark-red: color(display-p3 0.7331 0.1519 0.1019);--contrast-high: rgb(20, 20, 16);--contrast-readable: rgb(20, 20, 16);--contrast-medium: #7c7c7c;--contrast-subtle: #7c7c7c;--shadow-subtle: 0 1px 2px 0 rgb(20 20 16 / 0.05);--shadow-moderate: 0 4px 6px -1px rgb(20 20 16 / 0.1);--shadow-prominent: 0 10px 15px -3px rgb(20 20 16 / 0.1);--border-subtle: rgba(20, 20, 16, 0.1);--border-moderate: rgba(20, 20, 16, 0.15);--border-focus: #3498DB;--navigation-hover-background: rgba(20, 20, 16, 0.05);--navigation-active-background: rgba(20, 20, 16, 0.1)}[data-bs-theme=dark]{--color-surface-page: #141410;--color-surface-page: color(display-p3 0.0784 0.0784 0.0643);--color-surface-page-scrolled: #141410;--color-surface-page-scrolled: color(display-p3 0.0784 0.0784 0.0643);--color-surface-elevated: #1c1917;--color-surface-elevated: color(display-p3 0.1078 0.0985 0.0911);--color-surface-sunken: #0c0a09;--color-surface-sunken: color(display-p3 0.0457 0.0395 0.0358);--color-surface-navbar: #141410;--color-surface-navbar: color(display-p3 0.0784 0.0784 0.0643);--color-surface-navbar-scrolled: #141410;--color-surface-navbar-scrolled: color(display-p3 0.0784 0.0784 0.0643);--color-surface-code: #1c1917;--color-surface-code: color(display-p3 0.1078 0.0985 0.0911);--color-border-subtle: #fdf9f2;--color-border-subtle: color(display-p3 0.9894 0.977 0.9518);--color-border-moderate: #fdf9f2;--color-border-moderate: color(display-p3 0.9894 0.977 0.9518);--color-border-strong: #fdf9f2;--color-border-strong: color(display-p3 0.9894 0.977 0.9518);--color-border-card: #fdf9f2;--color-border-card: color(display-p3 0.9894 0.977 0.9518);--color-border-code: #292524;--color-border-code: color(display-p3 0.1581 0.1456 0.1418);--color-content-primary: #fdf9f2;--color-content-primary: color(display-p3 0.9894 0.977 0.9518);--color-content-secondary: #a8a29e;--color-content-secondary: color(display-p3 0.6547 0.6361 0.6215);--color-content-muted: #89827d;--color-content-muted: color(display-p3 0.5325 0.5107 0.4925);--color-content-inverse: #0c0a09;--color-content-inverse: color(display-p3 0.0457 0.0395 0.0358);--color-interactive-primary: #98a384;--color-interactive-primary: color(display-p3 0.604 0.6378 0.5291);--color-interactive-hover: #7e8a6b;--color-interactive-hover: color(display-p3 0.5029 0.5397 0.4313);--color-interactive-accent: #3498db;--color-interactive-accent: color(display-p3 0.3208 0.588 0.8369);--color-interactive-focus: #98a384;--color-interactive-focus: color(display-p3 0.604 0.6378 0.5291);--color-presentation-accent: #3498db;--color-presentation-accent: color(display-p3 0.3208 0.588 0.8369);--color-presentation-accent-hover: #2980b9;--color-presentation-accent-hover: color(display-p3 0.2638 0.495 0.7068);--color-vertical-accent-dissertation: #ce8e5c;--color-vertical-accent-dissertation: color(display-p3 0.8089 0.5486 0.3177);--color-vertical-accent-rpkg: #60a5fa;--color-vertical-accent-rpkg: color(display-p3 0.4405 0.6403 0.9545);--color-vertical-accent-SGPc: #b2bf22;--color-vertical-accent-SGPc: color(display-p3 0.7074 0.7474 0.2714);--color-brand-mark-red: #ff0000;--color-brand-mark-red: color(display-p3 1 0 0);--contrast-high: rgb(237, 237, 235);--contrast-readable: rgb(237, 237, 235);--contrast-medium: #83838f;--contrast-subtle: #83838f;--shadow-subtle: 0 1px 2px 0 rgb(237 237 235 / 0.03);--shadow-moderate: 0 4px 6px -1px rgb(237 237 235 / 0.05);--shadow-prominent: 0 10px 15px -3px rgb(237 237 235 / 0.4);--border-subtle: rgba(237, 237, 235, 0.1);--border-moderate: rgba(237, 237, 235, 0.15);--border-focus: #4FC3F7;--navigation-hover-background: rgba(237, 237, 235, 0.05);--navigation-active-background: rgba(237, 237, 235, 0.1)}@media(prefers-color-scheme: dark){:root{--color-surface-page: #141410;--color-surface-page: color(display-p3 0.0784 0.0784 0.0643);--color-surface-page-scrolled: #141410;--color-surface-page-scrolled: color(display-p3 0.0784 0.0784 0.0643);--color-surface-elevated: #1c1917;--color-surface-elevated: color(display-p3 0.1078 0.0985 0.0911);--color-surface-sunken: #0c0a09;--color-surface-sunken: color(display-p3 0.0457 0.0395 0.0358);--color-surface-navbar: #141410;--color-surface-navbar: color(display-p3 0.0784 0.0784 0.0643);--color-surface-navbar-scrolled: #141410;--color-surface-navbar-scrolled: color(display-p3 0.0784 0.0784 0.0643);--color-surface-code: #1c1917;--color-surface-code: color(display-p3 0.1078 0.0985 0.0911);--color-border-subtle: #fdf9f2;--color-border-subtle: color(display-p3 0.9894 0.977 0.9518);--color-border-moderate: #fdf9f2;--color-border-moderate: color(display-p3 0.9894 0.977 0.9518);--color-border-strong: #fdf9f2;--color-border-strong: color(display-p3 0.9894 0.977 0.9518);--color-border-card: #fdf9f2;--color-border-card: color(display-p3 0.9894 0.977 0.9518);--color-border-code: #292524;--color-border-code: color(display-p3 0.1581 0.1456 0.1418);--color-content-primary: #fdf9f2;--color-content-primary: color(display-p3 0.9894 0.977 0.9518);--color-content-secondary: #a8a29e;--color-content-secondary: color(display-p3 0.6547 0.6361 0.6215);--color-content-muted: #89827d;--color-content-muted: color(display-p3 0.5325 0.5107 0.4925);--color-content-inverse: #0c0a09;--color-content-inverse: color(display-p3 0.0457 0.0395 0.0358);--color-interactive-primary: #98a384;--color-interactive-primary: color(display-p3 0.604 0.6378 0.5291);--color-interactive-hover: #7e8a6b;--color-interactive-hover: color(display-p3 0.5029 0.5397 0.4313);--color-interactive-accent: #3498db;--color-interactive-accent: color(display-p3 0.3208 0.588 0.8369);--color-interactive-focus: #98a384;--color-interactive-focus: color(display-p3 0.604 0.6378 0.5291);--color-presentation-accent: #3498db;--color-presentation-accent: color(display-p3 0.3208 0.588 0.8369);--color-presentation-accent-hover: #2980b9;--color-presentation-accent-hover: color(display-p3 0.2638 0.495 0.7068);--color-vertical-accent-dissertation: #ce8e5c;--color-vertical-accent-dissertation: color(display-p3 0.8089 0.5486 0.3177);--color-vertical-accent-rpkg: #60a5fa;--color-vertical-accent-rpkg: color(display-p3 0.4405 0.6403 0.9545);--color-vertical-accent-SGPc: #b2bf22;--color-vertical-accent-SGPc: color(display-p3 0.7074 0.7474 0.2714);--color-brand-mark-red: #ff0000;--color-brand-mark-red: color(display-p3 1 0 0);--contrast-high: rgb(237, 237, 235);--contrast-readable: rgb(237, 237, 235);--contrast-medium: #83838f;--contrast-subtle: #83838f;--shadow-subtle: 0 1px 2px 0 rgb(237 237 235 / 0.03);--shadow-moderate: 0 4px 6px -1px rgb(237 237 235 / 0.05);--shadow-prominent: 0 10px 15px -3px rgb(237 237 235 / 0.4);--border-subtle: rgba(237, 237, 235, 0.1);--border-moderate: rgba(237, 237, 235, 0.15);--border-focus: #4FC3F7;--navigation-hover-background: rgba(237, 237, 235, 0.05);--navigation-active-background: rgba(237, 237, 235, 0.1)}}*{box-sizing:border-box}html{font-family:var(--font-family-sans);font-size:var(--font-size-base);line-height:var(--font-lineHeight-normal);color:var(--theme-text-primary);background-color:var(--theme-body-bg);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}h1,h2,h3,h4,h5,h6{font-family:var(--font-family-display) !important;font-feature-settings:var(--font-feature-settings-display)}h1,h2,h3,h4,h5,h6{line-height:var(--font-lineHeight-tight);margin-top:0;margin-bottom:var(--spacing-md);color:var(--color-text-primary)}h1{font-size:var(--font-size-4xl);font-weight:var(--font-weight-heading-h1);margin-bottom:var(--spacing-lg)}h2{font-size:var(--font-size-3xl);font-weight:var(--font-weight-heading-h2);margin-bottom:var(--spacing-lg)}h3{font-size:var(--font-size-2xl);font-weight:var(--font-weight-heading-h3)}h4{font-size:var(--font-size-xl);font-weight:var(--font-weight-heading-h4)}h5{font-size:var(--font-size-lg);font-weight:var(--font-weight-heading-h5)}h6{font-size:var(--font-size-base);font-weight:var(--font-weight-heading-h6)}p{margin-top:0;margin-bottom:var(--spacing-md);line-height:var(--font-lineHeight-normal)}a{color:var(--color-brand-accent);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:2px;transition:color .2s ease}a:hover{color:var(--color-brand-primary);text-decoration-thickness:2px}a:focus{outline:2px solid var(--color-border-focus);outline-offset:2px;border-radius:var(--radius-sm)}code{font-family:var(--font-family-mono);font-size:.9em;padding:.1em .3em;background-color:var(--color-background-surface);border-radius:var(--radius-sm);color:var(--color-brand-accent)}pre{font-family:var(--font-family-mono);font-size:.9em;padding:var(--spacing-md);background-color:var(--color-background-surface);border:1px solid var(--color-border-default);border-radius:var(--radius-md);overflow-x:auto;margin-bottom:var(--spacing-md)}pre code{background:rgba(0,0,0,0);padding:0;color:inherit}.svg-container{display:inline-flex;align-items:center;justify-content:center;transition:transform var(--logo-transition-duration) ease}svg{width:100%;height:auto;max-width:100%;display:block}.navbar-logo{background-size:contain;background-repeat:no-repeat;max-height:36px;transition:max-height var(--logo-transition-duration) ease-in-out,transform var(--logo-transition-duration) ease-in-out,opacity var(--logo-transition-duration) ease-in-out;will-change:max-height,transform,opacity}.navbar-logo.shrink{max-height:28px}.navbar-logo.transitioning{opacity:.8;transition:opacity .15s ease-in-out}.navbar-brand-logo{display:inline-flex;align-items:center}.navbar-brand-logo svg{height:36px;width:auto;transition:all var(--logo-transition-duration) ease}.hex-logo-container{position:relative;display:inline-block;margin:0 auto}.hex-logo-container svg{width:280px;height:auto;transition:all var(--logo-transition-duration) ease}@media(max-width: 768px){.hex-logo-container svg{width:200px}}@media(prefers-reduced-motion: no-preference){.landing-logo{animation:gentle-float 6s ease-in-out infinite}.landing-logo:hover{animation-play-state:paused;transform:scale(1.05)}}@keyframes gentle-float{0%,100%{transform:translateY(0px)}50%{transform:translateY(-10px)}}.footer-quarto-logo{display:inline-flex;align-items:center}.footer-quarto-logo svg{height:24px;width:auto;transition:all var(--logo-transition-duration) ease}.footer-quarto-logo path{transition:fill var(--logo-transition-duration) ease}.footer-quarto-logo:hover path,a:hover .footer-quarto-logo path{fill:var(--logo-hover-fill)}.social-icons{display:flex;gap:1rem;align-items:center}.social-icons a{display:inline-flex;align-items:center;transition:transform var(--logo-transition-duration) ease}.social-icons a:hover{transform:translateY(-2px)}.social-icons svg,.social-icons iconify-icon{width:24px;height:24px;transition:all var(--logo-transition-duration) ease}.navbar-nav .nav-link[href*="github.com"],.navbar-nav .nav-link[href*="bsky.app"]{display:inline-flex;align-items:center}.navbar-nav .nav-link[href*="github.com"] iconify-icon,.navbar-nav .nav-link[href*="bsky.app"] iconify-icon{font-size:1.2rem;transition:color var(--logo-transition-duration) ease}.navbar-nav .nav-link[href*="github.com"]:hover iconify-icon,.navbar-nav .nav-link[href*="bsky.app"]:hover iconify-icon{color:var(--theme-text-hover)}@media(prefers-reduced-motion: no-preference){.svg-pulse{animation:svg-pulse 2s ease-in-out infinite}.svg-rotate{animation:svg-rotate 20s linear infinite}}@keyframes svg-pulse{0%,100%{opacity:1}50%{opacity:.7}}@keyframes svg-rotate{from{transform:rotate(0deg)}to{transform:rotate(360deg)}}.svg-scale-hover{transition:transform var(--logo-transition-duration) ease}.svg-scale-hover:hover{transform:scale(1.1)}.theme-svg path,.theme-svg circle,.theme-svg rect,.theme-svg polygon{fill:var(--logo-default-fill);transition:fill var(--logo-transition-duration) ease}.theme-svg.svg-hover path,.theme-svg.svg-hover circle,.theme-svg.svg-hover rect,.theme-svg.svg-hover polygon,.theme-svg:hover path,.theme-svg:hover circle,.theme-svg:hover rect,.theme-svg:hover polygon{fill:var(--logo-hover-fill);stroke:var(--logo-hover-stroke, transparent)}.theme-svg.logo-navbar path,.theme-svg.logo-navbar circle,.theme-svg.logo-navbar rect,.theme-svg.logo-navbar polygon{fill:var(--logo-default-fill)}.theme-svg.logo-hex path,.theme-svg.logo-hex circle,.theme-svg.logo-hex rect,.theme-svg.logo-hex polygon{fill:var(--logo-default-fill)}[data-bs-theme=light] .theme-adaptive-svg{filter:none}[data-bs-theme=dark] .theme-adaptive-svg{filter:invert(1) hue-rotate(180deg)}.svg-loading{position:relative}.svg-loading::after{content:"";position:absolute;top:50%;left:50%;width:20px;height:20px;margin:-10px 0 0 -10px;border:2px solid var(--theme-text-secondary);border-top-color:rgba(0,0,0,0);border-radius:50%}.svg-loading svg{opacity:.3}@media(prefers-reduced-motion: no-preference){.svg-loading::after{animation:svg-spinner .8s linear infinite}}@keyframes svg-spinner{to{transform:rotate(360deg)}}.svg-aspect-ratio{position:relative;width:100%}.svg-aspect-ratio::before{content:"";display:block;padding-bottom:100%}.svg-aspect-ratio svg{position:absolute;top:0;left:0;width:100%;height:100%}.svg-xs{max-width:16px}.svg-sm{max-width:24px}.svg-md{max-width:32px}.svg-lg{max-width:48px}.svg-xl{max-width:64px}.svg-decorative{aria-hidden:true}.svg-icon[role=img]{pointer-events:none}.svg-interactive{cursor:pointer;transition:all var(--logo-transition-duration) ease}.svg-interactive:focus{outline:2px solid var(--theme-focus-color);outline-offset:2px}.svg-interactive:focus:not(:focus-visible){outline:none}.svg-accelerated{transform:translateZ(0);backface-visibility:hidden;perspective:1000px}@media(prefers-reduced-motion: reduce){.svg-container,.navbar-logo,.landing-logo,.svg-pulse,.svg-rotate,.svg-scale-hover{animation:none !important;transition:none !important}}.di-callout,.proof,.theorem,.definition,.proposition{padding:var(--spacing-md, 1rem) var(--spacing-md, 1rem) var(--spacing-md, 1rem) var(--spacing-lg, 1.5rem);margin:var(--spacing-lg, 1.5rem) 0;border-radius:var(--radius-sm, 4px);background-color:var(--color-surface-sunken);border-left:4px solid var(--color-interactive-primary)}.di-callout .di-callout-title,.di-callout .proof-title,.proof .di-callout-title,.proof .proof-title,.di-callout .theorem-title,.proof .theorem-title,.di-callout .definition-title,.proof .definition-title,.di-callout .proposition-title,.proof .proposition-title,.theorem .di-callout-title,.theorem .proof-title,.theorem .theorem-title,.theorem .definition-title,.theorem .proposition-title,.definition .di-callout-title,.definition .proof-title,.definition .theorem-title,.definition .definition-title,.definition .proposition-title,.proposition .di-callout-title,.proposition .proof-title,.proposition .theorem-title,.proposition .definition-title,.proposition .proposition-title{font-family:var(--font-family-display);font-weight:var(--font-weight-semibold);margin-bottom:.5rem;color:var(--color-content-primary)}.di-callout>:last-child,.proof>:last-child,.theorem>:last-child,.definition>:last-child,.proposition>:last-child{margin-bottom:0}.di-callout-insight{border-left-color:var(--color-interactive-accent)}.di-callout-insight .di-callout-title,.di-callout-insight .proof-title,.di-callout-insight .theorem-title,.di-callout-insight .definition-title,.di-callout-insight .proposition-title{color:var(--color-interactive-accent)}.di-callout-tip{border-left-color:var(--color-presentation-accent)}.di-callout-tip .di-callout-title,.di-callout-tip .proof-title,.di-callout-tip .theorem-title,.di-callout-tip .definition-title,.di-callout-tip .proposition-title{color:var(--color-presentation-accent)}.di-callout-proof,.proof{margin:var(--spacing-md, 1rem) 0}.di-callout-proof .di-callout-title,.di-callout-proof .proof-title,.proof .di-callout-title,.proof .proof-title,.di-callout-proof .theorem-title,.proof .theorem-title,.di-callout-proof .definition-title,.proof .definition-title,.di-callout-proof .proposition-title,.proof .proposition-title{font-style:italic;font-weight:var(--font-weight-medium);color:var(--color-content-primary)}.di-callout-proof::after,.proof::after{content:"□";float:right;color:var(--color-content-secondary)}.di-callout-rich{padding:0;margin:.6em 0 .8em 0;border-radius:6px;border-left-width:4px;border-style:solid;overflow:hidden}.di-callout-rich .di-callout-title,.di-callout-rich .proof-title,.di-callout-rich .theorem-title,.di-callout-rich .definition-title,.di-callout-rich .proposition-title{margin:0;padding:.35em .75em;font-family:var(--font-family-display);font-weight:var(--font-weight-semibold);border-bottom:1px solid currentColor}.di-callout-rich>:not(.di-callout-title):not(.proof-title):not(.theorem-title):not(.definition-title):not(.proposition-title){padding-left:.9em;padding-right:.9em}.di-callout-rich>:last-child{padding-bottom:.55em}.di-callout-rich.di-callout-theorem,.di-callout-rich.theorem,.di-callout-rich.definition,.di-callout-rich.proposition{background:linear-gradient(135deg, color-mix(in srgb, var(--color-interactive-primary) 10%, transparent), color-mix(in srgb, var(--color-interactive-primary) 3%, transparent));border-color:color-mix(in srgb, var(--color-interactive-primary) 30%, transparent);border-left-color:var(--color-interactive-primary)}.di-callout-rich.di-callout-theorem .di-callout-title,.di-callout-rich.di-callout-theorem .proof-title,.di-callout-rich.di-callout-theorem .theorem-title,.di-callout-rich.di-callout-theorem .definition-title,.di-callout-rich.di-callout-theorem .proposition-title,.di-callout-rich.theorem .di-callout-title,.di-callout-rich.theorem .proof-title,.di-callout-rich.theorem .theorem-title,.di-callout-rich.theorem .definition-title,.di-callout-rich.theorem .proposition-title,.di-callout-rich.definition .di-callout-title,.di-callout-rich.definition .proof-title,.di-callout-rich.definition .theorem-title,.di-callout-rich.definition .definition-title,.di-callout-rich.definition .proposition-title,.di-callout-rich.proposition .di-callout-title,.di-callout-rich.proposition .proof-title,.di-callout-rich.proposition .theorem-title,.di-callout-rich.proposition .definition-title,.di-callout-rich.proposition .proposition-title{background:color-mix(in srgb, var(--color-interactive-primary) 18%, transparent);color:color-mix(in srgb, var(--color-interactive-primary) 80%, var(--color-content-primary));border-bottom-color:color-mix(in srgb, var(--color-interactive-primary) 28%, transparent)}.di-callout-rich.di-callout-insight{background:linear-gradient(135deg, color-mix(in srgb, var(--color-interactive-accent) 10%, transparent), color-mix(in srgb, var(--color-interactive-accent) 3%, transparent));border-color:color-mix(in srgb, var(--color-interactive-accent) 30%, transparent);border-left-color:var(--color-interactive-accent)}.di-callout-rich.di-callout-insight .di-callout-title,.di-callout-rich.di-callout-insight .proof-title,.di-callout-rich.di-callout-insight .theorem-title,.di-callout-rich.di-callout-insight .definition-title,.di-callout-rich.di-callout-insight .proposition-title{background:color-mix(in srgb, var(--color-interactive-accent) 18%, transparent);color:color-mix(in srgb, var(--color-interactive-accent) 80%, var(--color-content-primary));border-bottom-color:color-mix(in srgb, var(--color-interactive-accent) 28%, transparent)}.di-callout-rich.di-callout-tip{background:linear-gradient(135deg, color-mix(in srgb, var(--color-presentation-accent) 8%, transparent), color-mix(in srgb, var(--color-presentation-accent) 3%, transparent));border-color:color-mix(in srgb, var(--color-presentation-accent) 20%, transparent);border-left-color:var(--color-presentation-accent)}.di-callout-rich.di-callout-tip .di-callout-title,.di-callout-rich.di-callout-tip .proof-title,.di-callout-rich.di-callout-tip .theorem-title,.di-callout-rich.di-callout-tip .definition-title,.di-callout-rich.di-callout-tip .proposition-title{background:color-mix(in srgb, var(--color-presentation-accent) 15%, transparent);color:var(--color-presentation-accent-hover);border-bottom-color:color-mix(in srgb, var(--color-presentation-accent) 25%, transparent)}.di-figure-box{border:1px solid var(--color-border-moderate);padding:4px;background-color:var(--color-surface-sunken);display:inline-block;cursor:pointer;transition:transform .3s cubic-bezier(0.4, 0, 0.2, 1),box-shadow .3s cubic-bezier(0.4, 0, 0.2, 1),border-color .3s cubic-bezier(0.4, 0, 0.2, 1)}.di-figure-box:hover{transform:translateY(-2px);box-shadow:var(--shadow-prominent, 0 4px 12px rgba(0, 0, 0, 0.15));border-color:var(--color-interactive-primary)}.di-figure-box:active{transform:translateY(-1px);box-shadow:var(--shadow-moderate, 0 2px 8px rgba(0, 0, 0, 0.12))}.di-figure-box:focus-visible{outline:2px solid var(--color-interactive-focus);outline-offset:2px}.di-figure-modal{display:none;position:fixed;inset:0;z-index:9999;background-color:color-mix(in srgb, var(--color-content-primary) 92%, transparent);backdrop-filter:blur(4px);-webkit-backdrop-filter:blur(4px)}.di-figure-modal.is-open{display:flex;align-items:center;justify-content:center;animation:di-figure-modal-fade-in .25s ease}.di-figure-modal .di-figure-modal-content{position:relative;max-width:95vw;max-height:95vh;animation:di-figure-modal-zoom-in .3s cubic-bezier(0.4, 0, 0.2, 1)}.di-figure-modal .di-figure-modal-content img{width:auto;height:auto;max-width:95vw;max-height:95vh;object-fit:contain;border:2px solid var(--color-interactive-primary);background-color:var(--color-surface-elevated);padding:8px;box-shadow:0 20px 60px color-mix(in srgb, var(--color-content-primary) 40%, transparent)}.di-figure-modal .di-figure-modal-close{position:absolute;top:-40px;right:0;font-size:2rem;color:var(--color-content-inverse);background:none;border:none;cursor:pointer;padding:.5rem;line-height:1;transition:transform .2s ease,color .2s ease;font-family:inherit}.di-figure-modal .di-figure-modal-close:hover{transform:scale(1.2);color:var(--color-interactive-primary)}.di-figure-modal .di-figure-modal-close:focus-visible{outline:2px solid var(--color-interactive-primary);outline-offset:4px;border-radius:var(--radius-sm, 0.25rem)}.di-figure-modal .di-figure-modal-caption{position:absolute;bottom:-60px;left:0;right:0;text-align:center;color:var(--color-content-inverse);font-size:var(--font-size-small, 0.9rem);font-style:italic;padding:0 2rem;line-height:var(--line-height-normal, 1.4)}@keyframes di-figure-modal-fade-in{from{opacity:0}to{opacity:1}}@keyframes di-figure-modal-zoom-in{from{opacity:0;transform:scale(0.9)}to{opacity:1;transform:scale(1)}}@media(prefers-reduced-motion: reduce){.di-figure-box{transition:none !important}.di-figure-box:hover,.di-figure-box:active{transform:none !important}.di-figure-modal,.di-figure-modal .di-figure-modal-content,.di-figure-modal .di-figure-modal-close{animation:none !important;transition:none !important}.di-figure-modal .di-figure-modal-close:hover{transform:none !important}}.di-card{background:var(--color-surface-elevated);border:1px solid var(--color-border-subtle);border-radius:var(--radius-component);padding:var(--spacing-component-padding);box-shadow:var(--shadow-moderate);transition:box-shadow .2s ease,transform .2s ease}.di-card:hover{box-shadow:var(--shadow-prominent);transform:translateY(-2px)}.di-card-title{margin:0;font-weight:var(--font-weight-semibold);font-size:var(--font-size-readable);color:var(--color-content-primary)}.di-button{display:inline-flex;align-items:center;justify-content:center;gap:var(--spacing-micro-tight);padding:var(--spacing-micro-normal) var(--spacing-component-padding);border:1px solid var(--color-border-subtle);border-radius:var(--radius-component);background:var(--color-surface-elevated);color:var(--color-content-primary);text-decoration:none;font-weight:var(--font-weight-medium);font-size:var(--font-size-base);cursor:pointer;transition:all var(--transition-standard);min-height:2.5rem;font-family:inherit}.di-button:hover{background:var(--color-interactive-primary);color:var(--color-content-inverse);border-color:var(--color-interactive-primary);transform:translateY(-1px);box-shadow:var(--shadow-prominent)}.di-button:focus{outline:2px solid var(--color-interactive-focus);outline-offset:2px}.di-button-primary{background:var(--color-interactive-primary);color:var(--color-content-inverse);border-color:var(--color-interactive-primary)}.di-button-primary:hover{background:var(--color-interactive-hover);border-color:var(--color-interactive-hover)}.di-button:hover{background:var(--color-brand-accent);color:var(--color-text-inverse);border-color:var(--color-brand-accent);transform:translateY(-1px);box-shadow:var(--shadow-md);text-decoration:none}.di-button:focus{outline:2px solid var(--color-border-focus);outline-offset:2px}.di-button-primary{background:var(--color-brand-primary);color:var(--color-text-inverse);border-color:var(--color-brand-primary)}.di-button-primary:hover{background:var(--color-brand-accent);border-color:var(--color-brand-accent)}.di-hex-logo{transition:max-height .25s ease-in-out,transform .25s ease-in-out;cursor:pointer;max-width:100%;height:auto}.di-hex-logo:hover{transform:scale(1.05)}@media(max-width: 768px){.di-hex-logo{width:150px}}@media(max-width: 480px){.di-hex-logo{width:120px}}.di-m-0{margin:0}.di-m-xs{margin:var(--spacing-xs)}.di-m-sm{margin:var(--spacing-sm)}.di-m-md{margin:var(--spacing-md)}.di-m-lg{margin:var(--spacing-lg)}.di-m-xl{margin:var(--spacing-xl)}.di-p-0{padding:0}.di-p-xs{padding:var(--spacing-xs)}.di-p-sm{padding:var(--spacing-sm)}.di-p-md{padding:var(--spacing-md)}.di-p-lg{padding:var(--spacing-lg)}.di-p-xl{padding:var(--spacing-xl)}.di-block{display:block}.di-inline{display:inline}.di-flex{display:flex}.di-hidden{display:none}.di-justify-center{justify-content:center}.di-items-center{align-items:center}.di-flex-col{flex-direction:column}.di-text-center{text-align:center}.di-text-left{text-align:left}.di-text-right{text-align:right}.di-text-primary{color:var(--color-text-primary)}.di-text-secondary{color:var(--color-text-secondary)}.di-text-muted{color:var(--color-text-muted)}.di-bg-page{background-color:var(--color-background-page)}.di-bg-surface{background-color:var(--color-background-surface)}.di-prose{--font-family-display: var(--font-family-display-documentation)}.di-prose h1,.di-prose h2,.di-prose h3,.di-prose h4,.di-prose h5,.di-prose h6{font-weight:var(--font-weight-semibold)}.di-numeric-display{font-family:var(--font-family-display-editorial);font-weight:var(--font-weight-light);font-feature-settings:"tnum","lnum"}.sr-only{position:absolute !important;width:1px !important;height:1px !important;padding:0 !important;margin:-1px !important;overflow:hidden !important;clip:rect(0, 0, 0, 0) !important;white-space:nowrap !important;border:0 !important}*:focus{outline:2px solid var(--color-border-focus) !important;outline-offset:2px !important;border-radius:var(--radius-sm) !important}.di-button,button,[role=button],a{min-height:44px;min-width:44px;display:inline-flex;align-items:center;justify-content:center}@media(prefers-reduced-motion: reduce){*,*::before,*::after{animation-duration:.01ms !important;animation-iteration-count:1 !important;transition-duration:.01ms !important;scroll-behavior:auto !important}.di-card:hover,.di-button:hover,.di-button:focus,a:hover,button:hover,[role=button]:hover{transform:none !important}[data-parallax],[data-scroll-effect]{transform:none !important}}@media(prefers-reduced-motion: no-preference){html{scroll-behavior:smooth}}@media(prefers-contrast: high){:root{--color-brand-primary: #000000;--color-brand-accent: #0000FF;--color-text-primary: #000000;--color-text-inverse: #FFFFFF;--color-background-page: #FFFFFF;--color-background-surface: #F0F0F0;--color-border-default: #000000;--color-border-focus: #FF0000}}