@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.
- package/.spago/argonaut/v9.0.0/.editorconfig +13 -0
- package/.spago/argonaut/v9.0.0/.gitignore +9 -0
- package/.spago/argonaut/v9.0.0/.tidyrc.json +10 -0
- package/.spago/argonaut-codecs/v9.0.0/.editorconfig +13 -0
- package/.spago/argonaut-codecs/v9.0.0/.gitignore +9 -0
- package/.spago/argonaut-codecs/v9.0.0/.tidyrc.json +10 -0
- package/.spago/argonaut-traversals/v10.0.0/.editorconfig +13 -0
- package/.spago/argonaut-traversals/v10.0.0/.gitignore +9 -0
- package/.spago/argonaut-traversals/v10.0.0/.tidyrc.json +10 -0
- package/.spago/profunctor-lenses/v8.0.0/.editorconfig +13 -0
- package/.spago/profunctor-lenses/v8.0.0/.gitignore +9 -0
- package/.spago/profunctor-lenses/v8.0.0/.tidyrc.json +10 -0
- package/dist/fluid/css/styles.css +343 -0
- package/dist/fluid/css/view-styles.css +182 -0
- package/dist/fluid/favicon.ico +0 -0
- package/dist/fluid/font/GraphikLight.woff2 +0 -0
- package/dist/fluid/font/GraphikLightItalic.woff2 +0 -0
- package/dist/fluid/font/GraphikMedium.woff2 +0 -0
- package/dist/fluid/font/GraphikMediumItalic.woff2 +0 -0
- package/dist/fluid/font/OdiseanTech.woff2 +0 -0
- package/dist/fluid/load-fig.js +44294 -0
- package/dist/fluid/shared/footer.html +6 -0
- package/dist/fluid/shared/header.html +26 -0
- package/dist/fluid/shared/sub-header.html +12 -0
- package/dist/fluid/shared/util.js +72 -0
- package/index.js +42757 -26748
- package/package.json +4 -4
- package/script/rebundle-website.sh +95 -0
- package/script/bundle-page.sh +0 -21
- package/script/bundle-website.sh +0 -53
- package/script/util/bundle.sh +0 -3
- package/script/util/compile.sh +0 -7
- package/script/util/lisp-case.sh +0 -10
@@ -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 & 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
|
+
}
|