datalog-theme 0.6.0

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 (180) hide show
  1. checksums.yaml +7 -0
  2. data/CHANGELOG.md +162 -0
  3. data/CITATION.cff +29 -0
  4. data/LICENSE +21 -0
  5. data/README.md +257 -0
  6. data/_data/academic.yml +217 -0
  7. data/_data/cdn-integrity.yml +51 -0
  8. data/_data/config/author.yml +121 -0
  9. data/_data/config/features.yml +262 -0
  10. data/_data/config/site.yml +42 -0
  11. data/_data/config/theme.yml +181 -0
  12. data/_data/datasets.yml +28 -0
  13. data/_data/i18n/en.yml +438 -0
  14. data/_data/i18n/es.yml +438 -0
  15. data/_data/i18n/pt.yml +438 -0
  16. data/_data/js_manifest.json +22 -0
  17. data/_data/js_meta.json +371 -0
  18. data/_data/navigation.yml +145 -0
  19. data/_data/projects.yml +41 -0
  20. data/_data/publications.yml +28 -0
  21. data/_data/social.yml +73 -0
  22. data/_data/visualizations.yml +51 -0
  23. data/_includes/analytics/dashboard.html +149 -0
  24. data/_includes/analytics.html +9 -0
  25. data/_includes/components/academic-dashboard.html +347 -0
  26. data/_includes/components/advanced-search.html +682 -0
  27. data/_includes/components/api-function.html +94 -0
  28. data/_includes/components/author-bio.html +166 -0
  29. data/_includes/components/bookmark-system.html +96 -0
  30. data/_includes/components/breadcrumbs.html +89 -0
  31. data/_includes/components/citation-tools.html +94 -0
  32. data/_includes/components/comments.html +244 -0
  33. data/_includes/components/content-provenance.html +43 -0
  34. data/_includes/components/content-recommendations.html +228 -0
  35. data/_includes/components/difficulty-badge.html +84 -0
  36. data/_includes/components/email-preferences.html +200 -0
  37. data/_includes/components/enhanced-code-block.html +212 -0
  38. data/_includes/components/enhanced-metadata.html +228 -0
  39. data/_includes/components/enhanced-toc.html +209 -0
  40. data/_includes/components/hero.html +15 -0
  41. data/_includes/components/language-switcher.html +396 -0
  42. data/_includes/components/math-fallback.html +19 -0
  43. data/_includes/components/navigation-enhancements.html +454 -0
  44. data/_includes/components/newsletter-signup.html +178 -0
  45. data/_includes/components/open-science-badges.html +16 -0
  46. data/_includes/components/package-install.html +194 -0
  47. data/_includes/components/performance-monitor.html +170 -0
  48. data/_includes/components/popular-posts.html +233 -0
  49. data/_includes/components/post-hero.html +62 -0
  50. data/_includes/components/reading-progress.html +133 -0
  51. data/_includes/components/reading-time.html +121 -0
  52. data/_includes/components/responsive-image.html +63 -0
  53. data/_includes/components/search-facets.html +307 -0
  54. data/_includes/components/series-navigation.html +124 -0
  55. data/_includes/components/social-proof.html +34 -0
  56. data/_includes/components/social-share.html +119 -0
  57. data/_includes/components/user-preferences.html +566 -0
  58. data/_includes/components/visualization-card.html +24 -0
  59. data/_includes/components/viz-table-fallback.html +19 -0
  60. data/_includes/critical-css/default.html +0 -0
  61. data/_includes/critical-css/home.html +0 -0
  62. data/_includes/critical-css/post.html +0 -0
  63. data/_includes/csp-meta.html +17 -0
  64. data/_includes/footer/nav-column.html +31 -0
  65. data/_includes/footer.html +76 -0
  66. data/_includes/head.html +337 -0
  67. data/_includes/header/navigation.html +48 -0
  68. data/_includes/header.html +70 -0
  69. data/_includes/helpers/array-to-sentence.html +21 -0
  70. data/_includes/helpers/date-format.html +16 -0
  71. data/_includes/helpers/link-with-icon.html +26 -0
  72. data/_includes/layouts/default/article.html +67 -0
  73. data/_includes/meta/language-attributes.html +25 -0
  74. data/_includes/meta/math-config.html +21 -0
  75. data/_includes/meta/schema.html +153 -0
  76. data/_includes/meta/scripts-loader.html +52 -0
  77. data/_includes/post/related-posts.html +63 -0
  78. data/_includes/scripts.html +72 -0
  79. data/_includes/skip-link.html +1 -0
  80. data/_includes/toc.html +2 -0
  81. data/_layouts/archive.html +282 -0
  82. data/_layouts/dataset.html +52 -0
  83. data/_layouts/default.html +33 -0
  84. data/_layouts/home.html +48 -0
  85. data/_layouts/notebook.html +173 -0
  86. data/_layouts/package.html +238 -0
  87. data/_layouts/page.html +16 -0
  88. data/_layouts/portfolio.html +41 -0
  89. data/_layouts/post-sidebar.html +183 -0
  90. data/_layouts/post.html +338 -0
  91. data/_layouts/project.html +252 -0
  92. data/_layouts/research.html +504 -0
  93. data/_plugins/analytics_dashboard.rb +315 -0
  94. data/_plugins/config_validator.rb +397 -0
  95. data/_plugins/csp_generator.rb +115 -0
  96. data/_plugins/datalog_bibliography.rb +19 -0
  97. data/_plugins/datalog_comments.rb +18 -0
  98. data/_plugins/datalog_slides.rb +20 -0
  99. data/_plugins/front_matter_compat.rb +109 -0
  100. data/_plugins/i18n.rb +160 -0
  101. data/_plugins/image_optimizer.rb +445 -0
  102. data/_plugins/math_preprocessor.rb +185 -0
  103. data/_plugins/notebook_converter.rb +1107 -0
  104. data/_plugins/plugin_loader.rb +185 -0
  105. data/_plugins/publications_generator.rb +234 -0
  106. data/_plugins/reading_time.rb +15 -0
  107. data/_plugins/search_normalizer.rb +74 -0
  108. data/_plugins/sri_filter.rb +18 -0
  109. data/_plugins/toc_filter.rb +68 -0
  110. data/_plugins/warning_filter.rb +3 -0
  111. data/_sass/_base.scss +142 -0
  112. data/_sass/_components.scss +2380 -0
  113. data/_sass/_header.scss +470 -0
  114. data/_sass/_interactive.scss +344 -0
  115. data/_sass/_layout.scss +1760 -0
  116. data/_sass/_mathematical.scss +368 -0
  117. data/_sass/_mixins.scss +99 -0
  118. data/_sass/_package-docs.scss +715 -0
  119. data/_sass/_phase1-enhancements.scss +721 -0
  120. data/_sass/_phase3-enhancements.scss +874 -0
  121. data/_sass/_phase4-enhancements.scss +1214 -0
  122. data/_sass/_phase5-enhancements.scss +414 -0
  123. data/_sass/_search.scss +654 -0
  124. data/_sass/_syntax-highlighting.scss +128 -0
  125. data/_sass/_theme.scss +79 -0
  126. data/_sass/_typography.scss +148 -0
  127. data/_sass/_utilities.scss +334 -0
  128. data/_sass/_variables.scss +153 -0
  129. data/_sass/_visualizations.scss +242 -0
  130. data/assets/css/main.scss +4 -0
  131. data/assets/img/20220607123041_detail.001.png +0 -0
  132. data/assets/img/favicons/android-chrome-192x192.png +0 -0
  133. data/assets/img/favicons/android-chrome-512x512.png +0 -0
  134. data/assets/img/favicons/apple-touch-icon.png +0 -0
  135. data/assets/img/favicons/favicon-16x16.png +0 -0
  136. data/assets/img/favicons/favicon-32x32.png +0 -0
  137. data/assets/img/favicons/favicon.ico +0 -0
  138. data/assets/img/favicons/site.webmanifest +21 -0
  139. data/assets/img/portfolio-placeholder.svg +20 -0
  140. data/assets/js/academic.js +262 -0
  141. data/assets/js/analytics-dashboard.js +382 -0
  142. data/assets/js/core/dark-mode.js +79 -0
  143. data/assets/js/core/github-cards.js +123 -0
  144. data/assets/js/core/language-filter.js +69 -0
  145. data/assets/js/core/navigation.js +184 -0
  146. data/assets/js/core/scroll-progress.js +45 -0
  147. data/assets/js/core/search-hotkeys.js +62 -0
  148. data/assets/js/core/skip-links.js +62 -0
  149. data/assets/js/loader.js +163 -0
  150. data/assets/js/main.js +23 -0
  151. data/assets/js/math.js +818 -0
  152. data/assets/js/notebook.js +158 -0
  153. data/assets/js/search/analytics.js +91 -0
  154. data/assets/js/search/app.js +271 -0
  155. data/assets/js/search/autocomplete.js +120 -0
  156. data/assets/js/search/engine.js +260 -0
  157. data/assets/js/search/filters.js +38 -0
  158. data/assets/js/search/render.js +217 -0
  159. data/assets/js/search/utils.js +99 -0
  160. data/assets/js/search.js +354 -0
  161. data/assets/js/visualizations.js +816 -0
  162. data/assets/publications/datalog-publications.bib +8 -0
  163. data/assets/publications/datalog-publications.ris +9 -0
  164. data/assets/publications/publications.bib +30 -0
  165. data/assets/templates/diogo-ribeiro-cv.md +31 -0
  166. data/assets/templates/diogo-ribeiro-cv.tex +32 -0
  167. data/bin/datalog +26 -0
  168. data/datalog-theme.gemspec +72 -0
  169. data/lib/datalog/cli.rb +563 -0
  170. data/lib/datalog/plugin_system/dependency_resolver.rb +223 -0
  171. data/lib/datalog/plugin_system.rb +237 -0
  172. data/lib/datalog/plugins/citations.rb +182 -0
  173. data/lib/datalog/plugins/comments.rb +183 -0
  174. data/lib/datalog/plugins/search.rb +45 -0
  175. data/lib/datalog/plugins/slides.rb +121 -0
  176. data/lib/datalog/theme/theme.rb +18 -0
  177. data/lib/datalog/theme/version.rb +7 -0
  178. data/lib/datalog/warning_filter.rb +28 -0
  179. data/lib/datalog-theme.rb +17 -0
  180. metadata +555 -0
@@ -0,0 +1,654 @@
1
+ @use 'sass:map';
2
+ @use 'sass:color';
3
+ @use "variables" as *;
4
+ @use "mixins" as *;
5
+
6
+ // ---------------------------------------------------------------------------
7
+ // Search app layout
8
+ // ---------------------------------------------------------------------------
9
+ .search-app {
10
+ display: grid;
11
+ gap: map.get($spacing, 6);
12
+
13
+ &__panel {
14
+ display: grid;
15
+ gap: map.get($spacing, 5);
16
+ }
17
+
18
+ &__form {
19
+ display: grid;
20
+ gap: map.get($spacing, 4);
21
+ }
22
+ }
23
+
24
+ // ---------------------------------------------------------------------------
25
+ // Search input
26
+ // ---------------------------------------------------------------------------
27
+ .search-app__query {
28
+ position: relative;
29
+ }
30
+
31
+ .search-app__label {
32
+ display: block;
33
+ font-size: map.get($font-size-scale, sm);
34
+ font-weight: 600;
35
+ margin-bottom: map.get($spacing, 2);
36
+ color: $color-ink-700;
37
+ }
38
+
39
+ body.dark-mode .search-app__label {
40
+ color: $dark-ink-700;
41
+ }
42
+
43
+ .search-app__input-group {
44
+ display: flex;
45
+ gap: map.get($spacing, 2);
46
+ }
47
+
48
+ .search-app__input {
49
+ flex: 1;
50
+ padding: 0.625rem 1rem;
51
+ border: 2px solid rgba($color-neutral-200, 0.8);
52
+ border-radius: map.get($radius, lg);
53
+ font-size: map.get($font-size-scale, base);
54
+ font-family: $font-family-sans;
55
+ background: white;
56
+ transition: border-color $transition-base, box-shadow $transition-base;
57
+
58
+ &:focus {
59
+ outline: none;
60
+ border-color: $color-accent-primary;
61
+ box-shadow: 0 0 0 3px rgba($color-accent-primary, 0.12);
62
+ }
63
+
64
+ &::placeholder {
65
+ color: $color-ink-300;
66
+ }
67
+ }
68
+
69
+ body.dark-mode .search-app__input {
70
+ background: $dark-surface-300;
71
+ border-color: rgba($dark-ink-500, 0.2);
72
+ color: $dark-ink-900;
73
+
74
+ &:focus {
75
+ border-color: $dark-accent-primary;
76
+ box-shadow: 0 0 0 3px rgba($dark-accent-primary, 0.15);
77
+ }
78
+
79
+ &::placeholder {
80
+ color: $dark-ink-300;
81
+ }
82
+ }
83
+
84
+ .search-app__submit {
85
+ padding: 0.625rem 1.25rem;
86
+ border: none;
87
+ border-radius: map.get($radius, lg);
88
+ background: $color-accent-primary;
89
+ color: white;
90
+ font-weight: 600;
91
+ font-size: map.get($font-size-scale, sm);
92
+ cursor: pointer;
93
+ transition: background $transition-base;
94
+ white-space: nowrap;
95
+
96
+ &:hover {
97
+ background: color.adjust($color-accent-primary, $lightness: -6%);
98
+ }
99
+
100
+ &:focus-visible {
101
+ @include focus-ring($color-accent-primary);
102
+ }
103
+ }
104
+
105
+ body.dark-mode .search-app__submit {
106
+ background: $dark-accent-primary;
107
+ color: $color-ink-900;
108
+ }
109
+
110
+ .search-app__shortcuts {
111
+ font-size: map.get($font-size-scale, xs);
112
+ color: $color-ink-500;
113
+ margin: map.get($spacing, 2) 0 0;
114
+
115
+ kbd {
116
+ display: inline-block;
117
+ padding: 0.1rem 0.375rem;
118
+ border: 1px solid rgba($color-neutral-200, 0.8);
119
+ border-radius: map.get($radius, sm);
120
+ background: rgba($color-neutral-100, 0.6);
121
+ font-family: $font-family-mono;
122
+ font-size: 0.75rem;
123
+ line-height: 1.4;
124
+ }
125
+ }
126
+
127
+ body.dark-mode .search-app__shortcuts {
128
+ color: $dark-ink-500;
129
+
130
+ kbd {
131
+ border-color: rgba($dark-ink-500, 0.2);
132
+ background: rgba($dark-surface-300, 0.6);
133
+ }
134
+ }
135
+
136
+ // ---------------------------------------------------------------------------
137
+ // Autocomplete dropdown
138
+ // ---------------------------------------------------------------------------
139
+ .search-app__autocomplete {
140
+ position: absolute;
141
+ top: 100%;
142
+ left: 0;
143
+ right: 0;
144
+ z-index: 10;
145
+ background: white;
146
+ border: 1px solid rgba($color-neutral-200, 0.6);
147
+ border-radius: map.get($radius, lg);
148
+ box-shadow: 0 8px 24px rgba(0, 0, 0, 0.1);
149
+ max-height: 16rem;
150
+ overflow-y: auto;
151
+
152
+ &:empty {
153
+ display: none;
154
+ }
155
+ }
156
+
157
+ body.dark-mode .search-app__autocomplete {
158
+ background: $dark-surface-300;
159
+ border-color: rgba($dark-ink-500, 0.2);
160
+ }
161
+
162
+ // ---------------------------------------------------------------------------
163
+ // Filters
164
+ // ---------------------------------------------------------------------------
165
+ .search-app__filters {
166
+ border: 1px solid rgba($color-neutral-200, 0.5);
167
+ border-radius: map.get($radius, lg);
168
+ padding: map.get($spacing, 4);
169
+ margin: 0;
170
+
171
+ legend {
172
+ font-weight: 600;
173
+ font-size: map.get($font-size-scale, sm);
174
+ padding: 0 map.get($spacing, 2);
175
+ color: $color-ink-700;
176
+ }
177
+ }
178
+
179
+ body.dark-mode .search-app__filters {
180
+ border-color: rgba($dark-ink-500, 0.15);
181
+
182
+ legend { color: $dark-ink-700; }
183
+ }
184
+
185
+ .search-app__filters-grid {
186
+ display: grid;
187
+ gap: map.get($spacing, 3);
188
+
189
+ @include respond-to(md) {
190
+ grid-template-columns: repeat(3, 1fr);
191
+ }
192
+ }
193
+
194
+ .search-filter {
195
+ display: grid;
196
+ gap: map.get($spacing, 1);
197
+
198
+ &__label {
199
+ font-size: map.get($font-size-scale, xs);
200
+ font-weight: 600;
201
+ text-transform: uppercase;
202
+ letter-spacing: 0.04em;
203
+ color: $color-ink-500;
204
+ }
205
+
206
+ select {
207
+ width: 100%;
208
+ padding: map.get($spacing, 2) map.get($spacing, 3);
209
+ border: 1px solid rgba($color-neutral-200, 0.6);
210
+ border-radius: map.get($radius, md);
211
+ font-size: map.get($font-size-scale, sm);
212
+ font-family: $font-family-sans;
213
+ background: white;
214
+
215
+ &:focus-visible {
216
+ outline: 2px solid $color-accent-primary;
217
+ outline-offset: 1px;
218
+ }
219
+ }
220
+ }
221
+
222
+ body.dark-mode .search-filter {
223
+ &__label { color: $dark-ink-500; }
224
+
225
+ select {
226
+ background: $dark-surface-300;
227
+ border-color: rgba($dark-ink-500, 0.2);
228
+ color: $dark-ink-900;
229
+ }
230
+ }
231
+
232
+ .search-filter__tags {
233
+ display: flex;
234
+ flex-wrap: wrap;
235
+ gap: map.get($spacing, 1);
236
+ }
237
+
238
+ .search-filter__tag {
239
+ display: inline-block;
240
+ padding: 0.125rem 0.5rem;
241
+ border: 1px solid rgba($color-accent-tertiary, 0.3);
242
+ border-radius: 999px;
243
+ font-size: map.get($font-size-scale, xs);
244
+ color: $color-accent-tertiary;
245
+ background: transparent;
246
+ cursor: pointer;
247
+ transition: background $transition-base, color $transition-base;
248
+
249
+ &:hover, &.is-active {
250
+ background: rgba($color-accent-tertiary, 0.1);
251
+ border-color: $color-accent-tertiary;
252
+ }
253
+
254
+ &:focus-visible {
255
+ outline: 2px solid $color-accent-primary;
256
+ outline-offset: 1px;
257
+ }
258
+ }
259
+
260
+ body.dark-mode .search-filter__tag {
261
+ border-color: rgba($dark-accent-tertiary, 0.3);
262
+ color: $dark-accent-tertiary;
263
+
264
+ &:hover, &.is-active {
265
+ background: rgba($dark-accent-tertiary, 0.15);
266
+ border-color: $dark-accent-tertiary;
267
+ }
268
+ }
269
+
270
+ .search-filter__empty {
271
+ font-size: map.get($font-size-scale, xs);
272
+ color: $color-ink-500;
273
+ }
274
+
275
+ // ---------------------------------------------------------------------------
276
+ // Analytics sidebar
277
+ // ---------------------------------------------------------------------------
278
+ .search-app__analytics {
279
+ border: 1px solid rgba($color-neutral-200, 0.5);
280
+ border-radius: map.get($radius, lg);
281
+ padding: map.get($spacing, 4);
282
+
283
+ &-title {
284
+ font-size: map.get($font-size-scale, sm);
285
+ font-weight: 600;
286
+ margin: 0 0 map.get($spacing, 2);
287
+ }
288
+
289
+ &-empty {
290
+ font-size: map.get($font-size-scale, sm);
291
+ color: $color-ink-500;
292
+ margin: 0;
293
+ }
294
+
295
+ &-list {
296
+ margin: 0;
297
+ padding: 0 0 0 map.get($spacing, 4);
298
+ font-size: map.get($font-size-scale, sm);
299
+
300
+ li { padding: map.get($spacing, 1) 0; }
301
+ }
302
+ }
303
+
304
+ body.dark-mode .search-app__analytics {
305
+ border-color: rgba($dark-ink-500, 0.15);
306
+ &-empty { color: $dark-ink-500; }
307
+ }
308
+
309
+ // ---------------------------------------------------------------------------
310
+ // Results
311
+ // ---------------------------------------------------------------------------
312
+ .search-app__results {
313
+ position: relative;
314
+ }
315
+
316
+ .search-app__results-header {
317
+ display: flex;
318
+ flex-wrap: wrap;
319
+ align-items: center;
320
+ gap: map.get($spacing, 3);
321
+ margin-bottom: map.get($spacing, 4);
322
+
323
+ h2 {
324
+ font-size: map.get($font-size-scale, lg);
325
+ margin: 0;
326
+ }
327
+ }
328
+
329
+ .search-app__results-meta {
330
+ font-size: map.get($font-size-scale, sm);
331
+ color: $color-ink-500;
332
+ margin: 0;
333
+ }
334
+
335
+ body.dark-mode .search-app__results-meta {
336
+ color: $dark-ink-500;
337
+ }
338
+
339
+ .search-app__results-list {
340
+ list-style: none;
341
+ margin: 0;
342
+ padding: 0;
343
+ display: grid;
344
+ gap: map.get($spacing, 4);
345
+ }
346
+
347
+ // ---------------------------------------------------------------------------
348
+ // Loading
349
+ // ---------------------------------------------------------------------------
350
+ .search-app__loading {
351
+ display: inline-flex;
352
+ align-items: center;
353
+ gap: 0.5rem;
354
+ color: $color-ink-500;
355
+ font-size: map.get($font-size-scale, sm);
356
+
357
+ &[hidden] { display: none !important; }
358
+ }
359
+
360
+ .search-app__spinner {
361
+ width: 1.25rem;
362
+ height: 1.25rem;
363
+ border-radius: 50%;
364
+ border: 2px solid rgba($color-neutral-200, 0.6);
365
+ border-top-color: $color-accent-primary;
366
+ animation: search-spinner 0.8s linear infinite;
367
+ }
368
+
369
+ body.dark-mode .search-app__spinner {
370
+ border-color: rgba($dark-ink-500, 0.2);
371
+ border-top-color: $dark-accent-primary;
372
+ }
373
+
374
+ // ---------------------------------------------------------------------------
375
+ // No results
376
+ // ---------------------------------------------------------------------------
377
+ .search-app__no-results {
378
+ margin-top: map.get($spacing, 6);
379
+ text-align: center;
380
+ color: $color-ink-500;
381
+
382
+ p { margin: map.get($spacing, 3) 0 0; }
383
+ }
384
+
385
+ .search-app__no-results-illustration {
386
+ max-width: 120px;
387
+ margin: 0 auto;
388
+ color: $color-ink-300;
389
+
390
+ svg { width: 100%; height: auto; display: block; }
391
+ }
392
+
393
+ body.dark-mode .search-app__no-results {
394
+ color: $dark-ink-500;
395
+ .search-app__no-results-illustration { color: $dark-ink-300; }
396
+ }
397
+
398
+ .search-app__noscript {
399
+ text-align: center;
400
+ padding: map.get($spacing, 6);
401
+ color: $color-ink-500;
402
+ }
403
+
404
+ // ---------------------------------------------------------------------------
405
+ // Individual result card
406
+ // ---------------------------------------------------------------------------
407
+ .search-result {
408
+ list-style: none;
409
+ }
410
+
411
+ .search-result__card {
412
+ background: white;
413
+ border: 1px solid rgba($color-neutral-200, 0.5);
414
+ border-radius: map.get($radius, lg);
415
+ padding: map.get($spacing, 5);
416
+ display: grid;
417
+ gap: map.get($spacing, 3);
418
+ transition: border-color $transition-base, box-shadow $transition-base, transform $transition-base;
419
+
420
+ &:hover {
421
+ border-color: rgba($color-accent-primary, 0.2);
422
+ box-shadow: 0 4px 16px rgba(0, 0, 0, 0.06);
423
+ transform: translateY(-1px);
424
+ }
425
+ }
426
+
427
+ body.dark-mode .search-result__card {
428
+ background: $dark-surface-300;
429
+ border-color: rgba($dark-ink-500, 0.15);
430
+
431
+ &:hover {
432
+ border-color: rgba($dark-accent-primary, 0.25);
433
+ box-shadow: 0 4px 16px rgba(0, 0, 0, 0.2);
434
+ }
435
+ }
436
+
437
+ .search-result.is-active .search-result__card,
438
+ .search-result:focus-within .search-result__card {
439
+ border-color: $color-accent-primary;
440
+ box-shadow: 0 0 0 3px rgba($color-accent-primary, 0.1);
441
+ transform: translateY(-2px);
442
+ }
443
+
444
+ body.dark-mode .search-result.is-active .search-result__card,
445
+ body.dark-mode .search-result:focus-within .search-result__card {
446
+ border-color: $dark-accent-primary;
447
+ box-shadow: 0 0 0 3px rgba($dark-accent-primary, 0.15);
448
+ }
449
+
450
+ .search-result__meta {
451
+ display: flex;
452
+ flex-wrap: wrap;
453
+ align-items: center;
454
+ gap: map.get($spacing, 2);
455
+ font-size: map.get($font-size-scale, xs);
456
+ margin: 0;
457
+ }
458
+
459
+ .search-result__type {
460
+ padding: 0.1rem 0.5rem;
461
+ border-radius: map.get($radius, sm);
462
+ background: rgba($color-accent-secondary, 0.1);
463
+ color: $color-accent-secondary;
464
+ font-weight: 600;
465
+ text-transform: capitalize;
466
+ }
467
+
468
+ body.dark-mode .search-result__type {
469
+ background: rgba($dark-accent-secondary, 0.15);
470
+ color: $dark-accent-secondary;
471
+ }
472
+
473
+ .search-result__difficulty {
474
+ padding: 0.1rem 0.5rem;
475
+ border-radius: map.get($radius, sm);
476
+ background: rgba($color-accent-tertiary, 0.08);
477
+ color: $color-accent-tertiary;
478
+ font-weight: 500;
479
+ text-transform: capitalize;
480
+ }
481
+
482
+ body.dark-mode .search-result__difficulty {
483
+ background: rgba($dark-accent-tertiary, 0.12);
484
+ color: $dark-accent-tertiary;
485
+ }
486
+
487
+ .search-result__language {
488
+ color: $color-ink-500;
489
+ }
490
+
491
+ body.dark-mode .search-result__language {
492
+ color: $dark-ink-500;
493
+ }
494
+
495
+ .search-result__title {
496
+ font-size: map.get($font-size-scale, md);
497
+ margin: 0;
498
+
499
+ a {
500
+ color: $color-ink-900;
501
+ text-decoration: none;
502
+ &:hover { color: $color-accent-primary; }
503
+ }
504
+ }
505
+
506
+ body.dark-mode .search-result__title a {
507
+ color: $dark-ink-900;
508
+ &:hover { color: $dark-accent-primary; }
509
+ }
510
+
511
+ .search-result__summary {
512
+ color: $color-ink-500;
513
+ font-size: map.get($font-size-scale, sm);
514
+ margin: 0;
515
+ line-height: $line-height-base;
516
+
517
+ mark {
518
+ background: rgba($color-warning, 0.25);
519
+ color: inherit;
520
+ border-radius: 2px;
521
+ padding: 0 0.125rem;
522
+ }
523
+ }
524
+
525
+ body.dark-mode .search-result__summary {
526
+ color: $dark-ink-500;
527
+
528
+ mark {
529
+ background: rgba($color-warning, 0.3);
530
+ }
531
+ }
532
+
533
+ // Code and math previews
534
+ .search-result__body {
535
+ display: grid;
536
+ gap: map.get($spacing, 2);
537
+ }
538
+
539
+ .search-result__code {
540
+ font-size: map.get($font-size-scale, xs) !important;
541
+ border-radius: map.get($radius, md);
542
+ max-height: 8rem;
543
+ overflow: auto;
544
+ margin: 0;
545
+
546
+ &[hidden] { display: none; }
547
+ }
548
+
549
+ .search-result__math {
550
+ padding: map.get($spacing, 3);
551
+ background: rgba($color-neutral-100, 0.5);
552
+ border-radius: map.get($radius, md);
553
+ position: relative;
554
+
555
+ &[hidden] { display: none; }
556
+ }
557
+
558
+ body.dark-mode .search-result__math {
559
+ background: rgba($dark-surface-200, 0.5);
560
+ }
561
+
562
+ .search-result__math-copy {
563
+ position: absolute;
564
+ top: map.get($spacing, 2);
565
+ right: map.get($spacing, 2);
566
+ background: transparent;
567
+ border: 1px solid rgba($color-neutral-200, 0.5);
568
+ border-radius: map.get($radius, sm);
569
+ padding: 0.25rem 0.375rem;
570
+ cursor: pointer;
571
+ font-size: map.get($font-size-scale, sm);
572
+ color: $color-ink-500;
573
+
574
+ &:hover { background: rgba($color-accent-primary, 0.06); }
575
+ }
576
+
577
+ .search-result__excerpt {
578
+ color: $color-ink-500;
579
+ font-size: map.get($font-size-scale, sm);
580
+ margin: 0;
581
+
582
+ &[hidden] { display: none; }
583
+
584
+ mark {
585
+ background: rgba($color-warning, 0.25);
586
+ color: inherit;
587
+ border-radius: 2px;
588
+ padding: 0 0.125rem;
589
+ }
590
+ }
591
+
592
+ body.dark-mode .search-result__excerpt {
593
+ color: $dark-ink-500;
594
+ }
595
+
596
+ // Footer: tags + date
597
+ .search-result__footer {
598
+ display: flex;
599
+ flex-wrap: wrap;
600
+ justify-content: space-between;
601
+ align-items: center;
602
+ gap: map.get($spacing, 2);
603
+ }
604
+
605
+ .search-result__tags {
606
+ display: flex;
607
+ flex-wrap: wrap;
608
+ gap: map.get($spacing, 1);
609
+ list-style: none;
610
+ margin: 0;
611
+ padding: 0;
612
+
613
+ li {
614
+ font-size: map.get($font-size-scale, xs);
615
+ padding: 0.1rem 0.4rem;
616
+ border-radius: 999px;
617
+ background: rgba($color-accent-tertiary, 0.08);
618
+ color: $color-accent-tertiary;
619
+ font-weight: 500;
620
+ }
621
+ }
622
+
623
+ body.dark-mode .search-result__tags li {
624
+ background: rgba($dark-accent-tertiary, 0.12);
625
+ color: $dark-accent-tertiary;
626
+ }
627
+
628
+ .search-result__date {
629
+ font-size: map.get($font-size-scale, xs);
630
+ color: $color-ink-500;
631
+
632
+ &[hidden] { display: none; }
633
+ }
634
+
635
+ body.dark-mode .search-result__date {
636
+ color: $dark-ink-500;
637
+ }
638
+
639
+ .search-result.is-active .search-result__title a,
640
+ .search-result:focus-within .search-result__title a {
641
+ color: $color-accent-primary;
642
+ }
643
+
644
+ body.dark-mode .search-result.is-active .search-result__title a,
645
+ body.dark-mode .search-result:focus-within .search-result__title a {
646
+ color: $dark-accent-primary;
647
+ }
648
+
649
+ // ---------------------------------------------------------------------------
650
+ // Animation
651
+ // ---------------------------------------------------------------------------
652
+ @keyframes search-spinner {
653
+ to { transform: rotate(360deg); }
654
+ }