@explorable-viz/fluid 0.7.30 → 0.7.32

package/dist/fluid/shared/header.html

@@ -1,26 +0,0 @@
-<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

@@ -1,12 +0,0 @@
-<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

@@ -1,72 +0,0 @@
-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')
-   }
-}