From 06291f945bd47f08a62ea856993ae8621854ba48 Mon Sep 17 00:00:00 2001
From: Eyal Gruss <eyalgruss@gmail.com>
Date: Sat, 6 Jan 2024 21:42:20 +0200
Subject: [PATCH] sync with upstream

---
 index.html            |  4 ++--
 resen/pages.js        |  4 ++--
 resen/petri/script.js | 14 +++++++-------
 resen/style.css       |  5 +++--
 styles/index.css      |  2 ++
 styles/whom.css       |  1 +
 whom.html             |  2 +-
 7 files changed, 18 insertions(+), 14 deletions(-)
diff --git a/index.html b/index.html
index ad92de2..f6020f1 100644
--- a/index.html
+++ b/index.html
@@ -8,9 +8,9 @@
     <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Alef:wght@400;700&display=block">
     <link rel="stylesheet" href="styles/index.css">
     <title>אוליפֹה</title>
+    <noscript><style>body {visibility: visible}</style></noscript>
 </head>
-<body style="visibility: hidden" onload="document.body.style.visibility = 'visible'">
-    <noscript><style>body {visibility: visible !important}</style></noscript>
+<body onload="document.body.style.visibility = 'visible'">
     <h3 id="nav">
     <a style="visibility: hidden">מי פה?</a>
     <a href="resen/" class="rotating-border">רֶסֶן – כתב עת</a>
diff --git a/resen/pages.js b/resen/pages.js
index 3007de6..d5003e9 100644
--- a/resen/pages.js
+++ b/resen/pages.js
@@ -275,7 +275,7 @@ function iframe_load_handler() {
     const footer = this.contentDocument.querySelector('footer')
     if (footer)
         footer.style.display = 'hidden'
-    this.contentDocument.documentElement.style.overflowY = 'hidden'  // Prevent redundant scrollbars in Chrome
+    this.contentDocument.documentElement.style.overflowY = 'clip'  // Prevent redundant scrollbars in Chrome
     const observer = new ResizeObserver(() => this.style.height = this.contentDocument.documentElement.scrollHeight + 'px')
     observer.observe(this.contentDocument.documentElement)
 }
@@ -445,7 +445,7 @@ function make_header(reorder_contents=default_reorder_contents) {
                 if (trans)
                     trans.hash = url_kw
                 set_next_prev_page(page, next, prev, lang, url_kw)
-                page_items.forEach(p => p.firstElementChild.hash = p.firstElementChild.classList.contains('non_' + url_kw) ? '' : url_kw)
+                page_items.forEach(p => p.firstChild.hash = p.classList.contains('non_' + url_kw) ? '' : url_kw)
             }
             const fg_rgb = `rgb(${getComputedStyle(document.documentElement).getPropertyValue('--fg_rgb').replace(/ /g, ', ')})`
             page_items.forEach(p => {const enabled = getComputedStyle(p).color == fg_rgb; p.querySelectorAll('a').forEach(a => {if (enabled) a.removeAttribute('aria-disabled'); else a.ariaDisabled = 'true'})})
diff --git a/resen/petri/script.js b/resen/petri/script.js
index b915eee..34ab639 100644
--- a/resen/petri/script.js
+++ b/resen/petri/script.js
@@ -162,9 +162,9 @@ function step(grid, json, steps=0, max_tokens={}, result_counter={}, reset_count
                 const pelem = grid.querySelector(`[data-id="${place}"]`)
                 if (inp + out)
                     if (is_vertical(grid, elem.dataset.id)) {
-                        if (elem.previousElementSibling == pelem && index % cols)
+                        if (elem.previousSibling == pelem && index % cols)
                             elem.dataset.before = arrows(inp, out, label)
-                        else if (elem.nextElementSibling == pelem && (index+1) % cols)
+                        else if (elem.nextSibling == pelem && (index+1) % cols)
                             elem.dataset.after = arrows(out, inp, label)
                         else if (elem.parentElement.children[index - cols] == pelem)
                             elem.parentElement.children[index - cols].dataset.after = arrows(inp, out)
@@ -173,10 +173,10 @@ function step(grid, json, steps=0, max_tokens={}, result_counter={}, reset_count
                         else
                             long_arrows.push([elem, pelem, inp, out])
                     } else if (!comp)
-                        if (elem.previousElementSibling == pelem && index % cols)
-                            elem.previousElementSibling.children[0].dataset.after = arrows(inp, out, '')
-                        else if (elem.nextElementSibling == pelem && (index+1) % cols)
-                            elem.nextElementSibling.children[0].dataset.before = arrows(out, inp, '')
+                        if (elem.previousSibling == pelem && index % cols)
+                            elem.previousSibling.firstChild.dataset.after = arrows(inp, out, '')
+                        else if (elem.nextSibling == pelem && (index+1) % cols)
+                            elem.nextSibling.firstChild.dataset.before = arrows(out, inp, '')
                         else if (elem.parentElement.children[index - cols] == pelem)
                             elem.dataset.before = arrows(inp, out, 1)
                         else if (elem.parentElement.children[index + cols] == pelem)
@@ -185,7 +185,7 @@ function step(grid, json, steps=0, max_tokens={}, result_counter={}, reset_count
                             long_arrows.push([elem, pelem, inp, out])
             })
         } else {
-            elem.children[0].textContent = place_symbol(label, tokens[elem.dataset.id], elem.classList.contains('above'))
+            elem.firstChild.textContent = place_symbol(label, tokens[elem.dataset.id], elem.classList.contains('above'))
             if (!steps) {
                 max_tokens[elem.dataset.id] ??= []
                 max_tokens[elem.dataset.id].push(tokens[elem.dataset.id] || 0)
diff --git a/resen/style.css b/resen/style.css
index f29ce0b..44d1c07 100644
--- a/resen/style.css
+++ b/resen/style.css
@@ -218,8 +218,9 @@ blockquote {
     margin-block: 3ex;
 }
 
-blockquote, p {
+blockquote, li, p {
     text-align: justify;
+    text-wrap: pretty;
 }
 
 button, [id^=kw_] {
@@ -865,7 +866,7 @@ a.sponsors {
 }
 
 @media (hover: none), (max-device-width: 500px), (max-device-height: 500px) {
-    blockquote, p {
+    blockquote, li, p {
         text-align: start;
     }
 
diff --git a/styles/index.css b/styles/index.css
index 2bc65e1..ed60d8a 100644
--- a/styles/index.css
+++ b/styles/index.css
@@ -6,8 +6,10 @@ body {
     justify-content: space-evenly;
     margin: 0;
     min-height: 100vh;
+    min-height: 100dvh;
     text-align: center;
     text-underline-position: under;
+    visibility: hidden;
 }
 
 @supports (-webkit-touch-callout: none) {
diff --git a/styles/whom.css b/styles/whom.css
index a738e22..4164f45 100644
--- a/styles/whom.css
+++ b/styles/whom.css
@@ -1,6 +1,7 @@
 body {
     font-family: Alef, Arial, sans-serif;
     margin: 0;
+    visibility: hidden;
 }
 
 figure {
diff --git a/whom.html b/whom.html
index 818d8da..e24ccc1 100644
--- a/whom.html
+++ b/whom.html
@@ -8,9 +8,9 @@
     <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Alef:wght@400;700&display=block">
     <link rel="stylesheet" href="styles/whom.css">
     <title>מי פה?</title>
+    <noscript><style>body {visibility: visible}</style></noscript>
 </head>
 <body style="visibility: hidden" onload="document.body.style.visibility = 'visible'">
-    <noscript><style>body {visibility: visible !important}</style></noscript>
     <h3><a href=".">אוליפֹה</a></h3>
     <div id="grid"></div>
     <script>
