@explorable-viz/fluid 0.7.21 → 0.7.23

package/dist/fluid/shared/footer.html

@@ -0,0 +1,6 @@
+<div class="footer-grid-container">
+   <div></div>
+   <div class="flex-left-align">
+      <p>© Fluid Contributors 2019–2024</p>
+   </div>
+</div>

package/dist/fluid/shared/header.html

@@ -0,0 +1,26 @@
+<div class="header-grid-container">
+   <div class="flex-right-align right-border">
+      <img class="fluid-logo" src="/image/fluid-logo.png" width="150px">
+      <h2 class="fluid-subtitle">explorable, self-explanatory research outputs</h2>
+   </div>
+   <div class="flex-left-align" style="justify-content: center; margin-left: 5px;">
+      <nav>
+         <ul>
+            <li><a href="https://github.com/explorable-viz/fluid">GitHub</a></li>
+            <li><a href="https://dl.acm.org/doi/10.1145/3498668">POPL 2022 paper</a></li>
+            <li><a href="https://www.youtube.com/watch?v=M_ePrtD9axk">POPL 2022 talk</a></li>
+            <li><a href="https://www.youtube.com/watch?v=2-S6yVyzypU">PROPL 2024</a></li>
+            <li><a href="https://www.youtube.com/watch?v=F3JaftEnFfM">ICCS Summer School</a></li>
+            <li><a href="https://arxiv.org/abs/2403.04403">ESOP 2025 preprint</a></li>
+         </ul>
+      </nav>
+      <nav>
+         <ul>
+            <li><a href="/">Overview</a></li>
+            <li><a href="/faq">FAQ</a></li>
+            <li><a href="/contributors">Contributors &amp; Funding</a></li>
+         </ul>
+      </nav>
+      <div></div>
+   </div>
+</div>

package/dist/fluid/shared/sub-header.html

@@ -0,0 +1,12 @@
+<div></div>
+<div></div>
+<div>
+   <h3 class="title">Overview</h3>
+   <nav class="sub-header">
+      <ul>
+         <li><a href="/">Transparent research outputs</a></li>
+         <li><a href="/convolution">Matrix convolution</a></li>
+         <li><a href="/moving-average">Moving average</a></li>
+      </ul>
+   </nav>
+</div>

package/dist/fluid/shared/util.js

@@ -0,0 +1,72 @@
+function loadHeader () {
+   fetch('/shared/header.html')
+      .then(response => response.text())
+      .then(data => {
+         const header = document.createElement('div')
+         header.innerHTML = data
+         activateCurrentLink(header)
+         const divElement = header.children[0]
+         const grid = document.getElementById('grid')
+         grid.parentNode.insertBefore(divElement, grid)
+      })
+      .catch(error => console.error('Error loading shared HTML:', error))
+
+   fetch('/shared/footer.html')
+      .then(response => response.text())
+      .then(data => {
+         const footer = document.createElement('div')
+         footer.innerHTML = data
+         const divElement = footer.children[0]
+         const grid = document.getElementById('grid')
+         grid.parentNode.appendChild(divElement)
+      })
+      .catch(error => console.error('Error loading shared HTML:', error))
+}
+
+function eqPaths (path1, path2) {
+   const trailingSlashes = /\/+$/
+   return path1.replace(trailingSlashes, '') === path2.replace(trailingSlashes, '')
+}
+
+function activateCurrentLink (el) {
+   const listItems = el.querySelectorAll('li')
+   const n_ = Array.from(listItems).findIndex(li => {
+      const link = li.querySelector('a')
+      return link && eqPaths(link.getAttribute('href'), window.location.pathname)
+   })
+   if (n_ !== -1) {
+      listItems[n_].classList.add('active-page')
+   }
+}
+
+function loadSubHeader () {
+   fetch('/shared/sub-header.html')
+      .then(response => response.text())
+      .then(data => {
+         const header = document.createElement('div')
+         header.innerHTML = data
+         activateCurrentLink(header)
+         const divElements = header.children
+         const grid = document.getElementById('grid')
+         for (let i = Math.min(3, divElements.length - 1); i >= 0; --i) {
+            grid.insertBefore(divElements[i], grid.firstChild)
+         }
+      })
+      .catch(error => console.error('Error loading shared HTML:', error))
+}
+
+function toggleDataPane(gridId) {
+   const grid = document.getElementById(gridId)
+   const hidden = grid.classList.contains('data-pane-hidden')
+   const dataPaneButton = document.querySelector('.data-pane-button')
+
+   if (hidden) {
+      grid.classList.remove('data-pane-hidden')
+      dataPaneButton.classList.remove('fa-eye-slash')
+      dataPaneButton.classList.add('fa-eye')
+   } else {
+      grid.classList.add('data-pane-hidden')
+      dataPaneButton.classList.remove('fa-eye')
+      dataPaneButton.classList.add('fa-eye-slash')
+   }
+}