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,354 @@
1
+ import { initializeSearchApp } from "./search/app.js";
2
+
3
+ const DEBOUNCE_DELAY = 300;
4
+ const RESULT_ID_PREFIX = "search-result-";
5
+ const MIN_LOADING_VISIBLE_MS = 500;
6
+
7
+ function debounce(callback, delay = DEBOUNCE_DELAY) {
8
+ let timerId;
9
+ const debounced = (...args) => {
10
+ if (timerId) {
11
+ window.clearTimeout(timerId);
12
+ }
13
+ timerId = window.setTimeout(() => {
14
+ timerId = undefined;
15
+ callback.apply(null, args);
16
+ }, delay);
17
+ };
18
+
19
+ debounced.cancel = () => {
20
+ if (timerId) {
21
+ window.clearTimeout(timerId);
22
+ timerId = undefined;
23
+ }
24
+ };
25
+
26
+ return debounced;
27
+ }
28
+
29
+ function updateLiveRegion(region, message) {
30
+ if (!region) {
31
+ return;
32
+ }
33
+ const text = String(message || "");
34
+ if (region.textContent === text) {
35
+ region.textContent = `${text}\u00A0`;
36
+ } else {
37
+ region.textContent = text;
38
+ }
39
+ if (text.trim()) {
40
+ region.removeAttribute("hidden");
41
+ } else {
42
+ region.setAttribute("hidden", "");
43
+ }
44
+ }
45
+
46
+ function setupSearchEnhancements() {
47
+ const app = document.querySelector("[data-search-app]");
48
+ if (!app) {
49
+ return;
50
+ }
51
+
52
+ const form = app.querySelector("[data-search-form]");
53
+ const input = app.querySelector("[data-search-input]");
54
+ const resultsList = app.querySelector("[data-search-results]");
55
+ const emptyState = app.querySelector("[data-search-empty]");
56
+ const loadingIndicator = app.querySelector("[data-search-loading]");
57
+ const resultsRegion = app.querySelector("[data-search-region]");
58
+ const liveCount = app.querySelector('[data-search-live="count"]');
59
+ const liveSelection = app.querySelector('[data-search-live="selection"]');
60
+ const liveStatus = app.querySelector('[data-search-live="status"]');
61
+ const filtersContainer = app.querySelector("[data-search-filters]");
62
+ const tagContainer = app.querySelector("[data-filter-tags]");
63
+
64
+ if (!input || !resultsList) {
65
+ return;
66
+ }
67
+
68
+ let activeIndex = -1;
69
+ let resultIdCounter = 0;
70
+ let resultItems = [];
71
+ let pendingSearch = false;
72
+ let filterControls = [];
73
+ let loadingStartedAt = 0;
74
+ let loadingHideTimer = null;
75
+
76
+ const debouncedSubmit = debounce(() => {
77
+ if (!form) {
78
+ return;
79
+ }
80
+ pendingSearch = true;
81
+ showLoading();
82
+ updateLiveRegion(liveStatus, "Loading results…");
83
+ form.dispatchEvent(new Event("submit", { cancelable: true }));
84
+ });
85
+
86
+ const observer = new MutationObserver(() => {
87
+ refreshResultItems();
88
+ });
89
+ observer.observe(resultsList, { childList: true });
90
+
91
+ refreshResultItems();
92
+ refreshFilterControls();
93
+
94
+ if (tagContainer) {
95
+ const tagObserver = new MutationObserver(() => {
96
+ refreshFilterControls();
97
+ });
98
+ tagObserver.observe(tagContainer, { childList: true });
99
+ }
100
+
101
+ input.addEventListener("input", () => {
102
+ clearActiveResult(false);
103
+ debouncedSubmit();
104
+ });
105
+
106
+ input.addEventListener("keydown", (event) => {
107
+ if (handleInputNavigation(event)) {
108
+ return;
109
+ }
110
+ if (event.key === "Tab" && filterControls.length > 0) {
111
+ event.preventDefault();
112
+ const nextIndex = event.shiftKey ? filterControls.length - 1 : 0;
113
+ filterControls[nextIndex].focus();
114
+ }
115
+ });
116
+
117
+ function handleFilterKeydown(event) {
118
+ if (event.key !== "Tab" || filterControls.length === 0) {
119
+ return;
120
+ }
121
+ event.preventDefault();
122
+ const currentIndex = filterControls.indexOf(event.currentTarget);
123
+ if (currentIndex === -1) {
124
+ return;
125
+ }
126
+ const direction = event.shiftKey ? -1 : 1;
127
+ const nextIndex = (currentIndex + direction + filterControls.length) % filterControls.length;
128
+ filterControls[nextIndex].focus();
129
+ }
130
+
131
+ function refreshFilterControls() {
132
+ if (!filtersContainer) {
133
+ return;
134
+ }
135
+ const selects = Array.from(filtersContainer.querySelectorAll("select"));
136
+ const tags = tagContainer ? Array.from(tagContainer.querySelectorAll("[data-filter-tag]")) : [];
137
+ filterControls = [...selects, ...tags];
138
+ filterControls.forEach((control) => {
139
+ control.removeEventListener("keydown", handleFilterKeydown);
140
+ control.addEventListener("keydown", handleFilterKeydown);
141
+ });
142
+ }
143
+
144
+ function handleInputNavigation(event) {
145
+ if (!resultItems.length && ["ArrowDown", "ArrowUp", "Enter"].includes(event.key)) {
146
+ return false;
147
+ }
148
+ switch (event.key) {
149
+ case "ArrowDown":
150
+ event.preventDefault();
151
+ moveActive(1);
152
+ return true;
153
+ case "ArrowUp":
154
+ event.preventDefault();
155
+ moveActive(-1);
156
+ return true;
157
+ case "Enter":
158
+ if (activeIndex >= 0) {
159
+ event.preventDefault();
160
+ openActiveResult();
161
+ return true;
162
+ }
163
+ return false;
164
+ case "Escape":
165
+ event.preventDefault();
166
+ clearSearch();
167
+ return true;
168
+ default:
169
+ return false;
170
+ }
171
+ }
172
+
173
+ function moveActive(delta) {
174
+ if (!resultItems.length) {
175
+ return;
176
+ }
177
+ const nextIndex = activeIndex === -1 ? (delta > 0 ? 0 : resultItems.length - 1) : (activeIndex + delta + resultItems.length) % resultItems.length;
178
+ setActiveResult(nextIndex);
179
+ }
180
+
181
+ function setActiveResult(index) {
182
+ if (index < -1 || index >= resultItems.length) {
183
+ return;
184
+ }
185
+ if (activeIndex === index) {
186
+ return;
187
+ }
188
+ if (activeIndex >= 0 && resultItems[activeIndex]) {
189
+ resultItems[activeIndex].classList.remove("is-active");
190
+ }
191
+ activeIndex = index;
192
+ if (activeIndex >= 0) {
193
+ const item = resultItems[activeIndex];
194
+ if (!item) {
195
+ return;
196
+ }
197
+ item.classList.add("is-active");
198
+ const id = ensureResultId(item);
199
+ input.setAttribute("aria-activedescendant", id);
200
+ const title = getResultTitle(item);
201
+ updateLiveRegion(liveSelection, `Result ${activeIndex + 1} of ${resultItems.length}: ${title}`);
202
+ item.scrollIntoView({ block: "nearest" });
203
+ } else {
204
+ input.removeAttribute("aria-activedescendant");
205
+ updateLiveRegion(liveSelection, "Search results selection cleared.");
206
+ }
207
+ }
208
+
209
+ function clearActiveResult(announce = true) {
210
+ if (activeIndex >= 0 && resultItems[activeIndex]) {
211
+ resultItems[activeIndex].classList.remove("is-active");
212
+ }
213
+ activeIndex = -1;
214
+ input.removeAttribute("aria-activedescendant");
215
+ if (announce) {
216
+ updateLiveRegion(liveSelection, "Search results selection cleared.");
217
+ }
218
+ }
219
+
220
+ function ensureResultId(item) {
221
+ if (item.id) {
222
+ return item.id;
223
+ }
224
+ resultIdCounter += 1;
225
+ const id = `${RESULT_ID_PREFIX}${resultIdCounter}`;
226
+ item.id = id;
227
+ return id;
228
+ }
229
+
230
+ function refreshResultItems() {
231
+ resultItems = Array.from(resultsList.querySelectorAll(".search-result"));
232
+ resultItems.forEach((item) => {
233
+ ensureResultId(item);
234
+ item.setAttribute("role", "option");
235
+ item.setAttribute("tabindex", "-1");
236
+ });
237
+ if (activeIndex >= resultItems.length) {
238
+ clearActiveResult(false);
239
+ }
240
+ if (pendingSearch) {
241
+ pendingSearch = false;
242
+ updateLiveRegion(liveStatus, "Results updated.");
243
+ }
244
+ hideLoading();
245
+ announceCount();
246
+ }
247
+
248
+ function announceCount() {
249
+ if (!liveCount) {
250
+ return;
251
+ }
252
+ const query = input.value.trim();
253
+ if (!query) {
254
+ updateLiveRegion(liveCount, "Enter a query to begin.");
255
+ return;
256
+ }
257
+ if (emptyState && !emptyState.hidden && resultItems.length === 0) {
258
+ updateLiveRegion(liveCount, `No results found for “${query}”.`);
259
+ return;
260
+ }
261
+ updateLiveRegion(liveCount, `${resultItems.length} result${resultItems.length === 1 ? "" : "s"} found for “${query}”.`);
262
+ }
263
+
264
+ function showLoading() {
265
+ if (resultsRegion) {
266
+ resultsRegion.setAttribute("aria-busy", "true");
267
+ }
268
+ if (loadingIndicator) {
269
+ if (loadingHideTimer) {
270
+ window.clearTimeout(loadingHideTimer);
271
+ loadingHideTimer = null;
272
+ }
273
+ loadingStartedAt = Date.now();
274
+ loadingIndicator.hidden = false;
275
+ loadingIndicator.removeAttribute("hidden");
276
+ }
277
+ }
278
+
279
+ function hideLoading() {
280
+ if (resultsRegion) {
281
+ resultsRegion.setAttribute("aria-busy", "false");
282
+ }
283
+ if (loadingIndicator) {
284
+ const finalize = () => {
285
+ loadingIndicator.hidden = true;
286
+ loadingIndicator.setAttribute("hidden", "");
287
+ loadingHideTimer = null;
288
+ loadingStartedAt = 0;
289
+ };
290
+ const elapsed = loadingStartedAt ? Date.now() - loadingStartedAt : MIN_LOADING_VISIBLE_MS;
291
+ if (elapsed < MIN_LOADING_VISIBLE_MS) {
292
+ const remaining = MIN_LOADING_VISIBLE_MS - elapsed;
293
+ if (loadingHideTimer) {
294
+ window.clearTimeout(loadingHideTimer);
295
+ }
296
+ loadingHideTimer = window.setTimeout(finalize, remaining);
297
+ } else {
298
+ finalize();
299
+ }
300
+ }
301
+ }
302
+
303
+ function openActiveResult() {
304
+ const item = activeIndex >= 0 ? resultItems[activeIndex] : null;
305
+ if (!item) {
306
+ return;
307
+ }
308
+ const link = item.querySelector("[data-result-link]");
309
+ if (link && link.href) {
310
+ window.location.assign(link.href);
311
+ }
312
+ }
313
+
314
+ function clearSearch() {
315
+ debouncedSubmit.cancel();
316
+ input.value = "";
317
+ clearActiveResult();
318
+ updateLiveRegion(liveStatus, "Search cleared.");
319
+ if (form) {
320
+ pendingSearch = true;
321
+ showLoading();
322
+ form.dispatchEvent(new Event("submit", { cancelable: true }));
323
+ }
324
+ }
325
+
326
+ function getResultTitle(item) {
327
+ const link = item.querySelector("[data-result-link]");
328
+ if (link && link.textContent) {
329
+ return link.textContent.trim();
330
+ }
331
+ const heading = item.querySelector(".search-result__title");
332
+ return heading && heading.textContent ? heading.textContent.trim() : "Result";
333
+ }
334
+ }
335
+
336
+ const isTestEnvironment =
337
+ typeof process !== "undefined" &&
338
+ process.env &&
339
+ (process.env.NODE_ENV === "test" || process.env.VITEST === "true");
340
+
341
+ function onReady() {
342
+ initializeSearchApp();
343
+ setupSearchEnhancements();
344
+ }
345
+
346
+ if (!isTestEnvironment) {
347
+ if (document.readyState === "loading") {
348
+ document.addEventListener("DOMContentLoaded", onReady);
349
+ } else {
350
+ onReady();
351
+ }
352
+ }
353
+
354
+ export { debounce, updateLiveRegion, setupSearchEnhancements };