@explorable-viz/fluid 0.7.22 → 0.7.24

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 (33) hide show
  1. package/.spago/argonaut/v9.0.0/.editorconfig +13 -0
  2. package/.spago/argonaut/v9.0.0/.gitignore +9 -0
  3. package/.spago/argonaut/v9.0.0/.tidyrc.json +10 -0
  4. package/.spago/argonaut-codecs/v9.0.0/.editorconfig +13 -0
  5. package/.spago/argonaut-codecs/v9.0.0/.gitignore +9 -0
  6. package/.spago/argonaut-codecs/v9.0.0/.tidyrc.json +10 -0
  7. package/.spago/argonaut-traversals/v10.0.0/.editorconfig +13 -0
  8. package/.spago/argonaut-traversals/v10.0.0/.gitignore +9 -0
  9. package/.spago/argonaut-traversals/v10.0.0/.tidyrc.json +10 -0
  10. package/.spago/profunctor-lenses/v8.0.0/.editorconfig +13 -0
  11. package/.spago/profunctor-lenses/v8.0.0/.gitignore +9 -0
  12. package/.spago/profunctor-lenses/v8.0.0/.tidyrc.json +10 -0
  13. package/dist/fluid/css/styles.css +343 -0
  14. package/dist/fluid/css/view-styles.css +182 -0
  15. package/dist/fluid/favicon.ico +0 -0
  16. package/dist/fluid/font/GraphikLight.woff2 +0 -0
  17. package/dist/fluid/font/GraphikLightItalic.woff2 +0 -0
  18. package/dist/fluid/font/GraphikMedium.woff2 +0 -0
  19. package/dist/fluid/font/GraphikMediumItalic.woff2 +0 -0
  20. package/dist/fluid/font/OdiseanTech.woff2 +0 -0
  21. package/dist/fluid/load-fig.js +44294 -0
  22. package/dist/fluid/shared/footer.html +6 -0
  23. package/dist/fluid/shared/header.html +26 -0
  24. package/dist/fluid/shared/sub-header.html +12 -0
  25. package/dist/fluid/shared/util.js +72 -0
  26. package/index.js +42757 -26748
  27. package/package.json +4 -4
  28. package/script/rebundle-website.sh +95 -0
  29. package/script/bundle-page.sh +0 -21
  30. package/script/bundle-website.sh +0 -53
  31. package/script/util/bundle.sh +0 -3
  32. package/script/util/compile.sh +0 -7
  33. package/script/util/lisp-case.sh +0 -10
@@ -0,0 +1,6 @@
1
+ <div class="footer-grid-container">
2
+ <div></div>
3
+ <div class="flex-left-align">
4
+ <p>© Fluid Contributors 2019–2024</p>
5
+ </div>
6
+ </div>
@@ -0,0 +1,26 @@
1
+ <div class="header-grid-container">
2
+ <div class="flex-right-align right-border">
3
+ <img class="fluid-logo" src="/image/fluid-logo.png" width="150px">
4
+ <h2 class="fluid-subtitle">explorable, self-explanatory research outputs</h2>
5
+ </div>
6
+ <div class="flex-left-align" style="justify-content: center; margin-left: 5px;">
7
+ <nav>
8
+ <ul>
9
+ <li><a href="https://github.com/explorable-viz/fluid">GitHub</a></li>
10
+ <li><a href="https://dl.acm.org/doi/10.1145/3498668">POPL 2022 paper</a></li>
11
+ <li><a href="https://www.youtube.com/watch?v=M_ePrtD9axk">POPL 2022 talk</a></li>
12
+ <li><a href="https://www.youtube.com/watch?v=2-S6yVyzypU">PROPL 2024</a></li>
13
+ <li><a href="https://www.youtube.com/watch?v=F3JaftEnFfM">ICCS Summer School</a></li>
14
+ <li><a href="https://arxiv.org/abs/2403.04403">ESOP 2025 preprint</a></li>
15
+ </ul>
16
+ </nav>
17
+ <nav>
18
+ <ul>
19
+ <li><a href="/">Overview</a></li>
20
+ <li><a href="/faq">FAQ</a></li>
21
+ <li><a href="/contributors">Contributors &amp; Funding</a></li>
22
+ </ul>
23
+ </nav>
24
+ <div></div>
25
+ </div>
26
+ </div>
@@ -0,0 +1,12 @@
1
+ <div></div>
2
+ <div></div>
3
+ <div>
4
+ <h3 class="title">Overview</h3>
5
+ <nav class="sub-header">
6
+ <ul>
7
+ <li><a href="/">Transparent research outputs</a></li>
8
+ <li><a href="/convolution">Matrix convolution</a></li>
9
+ <li><a href="/moving-average">Moving average</a></li>
10
+ </ul>
11
+ </nav>
12
+ </div>
@@ -0,0 +1,72 @@
1
+ function loadHeader () {
2
+ fetch('/shared/header.html')
3
+ .then(response => response.text())
4
+ .then(data => {
5
+ const header = document.createElement('div')
6
+ header.innerHTML = data
7
+ activateCurrentLink(header)
8
+ const divElement = header.children[0]
9
+ const grid = document.getElementById('grid')
10
+ grid.parentNode.insertBefore(divElement, grid)
11
+ })
12
+ .catch(error => console.error('Error loading shared HTML:', error))
13
+
14
+ fetch('/shared/footer.html')
15
+ .then(response => response.text())
16
+ .then(data => {
17
+ const footer = document.createElement('div')
18
+ footer.innerHTML = data
19
+ const divElement = footer.children[0]
20
+ const grid = document.getElementById('grid')
21
+ grid.parentNode.appendChild(divElement)
22
+ })
23
+ .catch(error => console.error('Error loading shared HTML:', error))
24
+ }
25
+
26
+ function eqPaths (path1, path2) {
27
+ const trailingSlashes = /\/+$/
28
+ return path1.replace(trailingSlashes, '') === path2.replace(trailingSlashes, '')
29
+ }
30
+
31
+ function activateCurrentLink (el) {
32
+ const listItems = el.querySelectorAll('li')
33
+ const n_ = Array.from(listItems).findIndex(li => {
34
+ const link = li.querySelector('a')
35
+ return link && eqPaths(link.getAttribute('href'), window.location.pathname)
36
+ })
37
+ if (n_ !== -1) {
38
+ listItems[n_].classList.add('active-page')
39
+ }
40
+ }
41
+
42
+ function loadSubHeader () {
43
+ fetch('/shared/sub-header.html')
44
+ .then(response => response.text())
45
+ .then(data => {
46
+ const header = document.createElement('div')
47
+ header.innerHTML = data
48
+ activateCurrentLink(header)
49
+ const divElements = header.children
50
+ const grid = document.getElementById('grid')
51
+ for (let i = Math.min(3, divElements.length - 1); i >= 0; --i) {
52
+ grid.insertBefore(divElements[i], grid.firstChild)
53
+ }
54
+ })
55
+ .catch(error => console.error('Error loading shared HTML:', error))
56
+ }
57
+
58
+ function toggleDataPane(gridId) {
59
+ const grid = document.getElementById(gridId)
60
+ const hidden = grid.classList.contains('data-pane-hidden')
61
+ const dataPaneButton = document.querySelector('.data-pane-button')
62
+
63
+ if (hidden) {
64
+ grid.classList.remove('data-pane-hidden')
65
+ dataPaneButton.classList.remove('fa-eye-slash')
66
+ dataPaneButton.classList.add('fa-eye')
67
+ } else {
68
+ grid.classList.add('data-pane-hidden')
69
+ dataPaneButton.classList.remove('fa-eye')
70
+ dataPaneButton.classList.add('fa-eye-slash')
71
+ }
72
+ }