From 269979e0bc12e60b8c647df0960ea1a213996445 Mon Sep 17 00:00:00 2001
From: dabico <dabico@usi.ch>
Date: Mon, 1 Jul 2024 18:42:37 +0200
Subject: [PATCH] Make `body` inert by default

It is up to the JavaScript code to revert it into a non-inert state.
In this way, the page elements that require JS (header modals, the form,
etc.) will not be accessible until a script removes the attribute from
the `body`.
---
 html/index.html    | 2 +-
 html/js/general.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/html/index.html b/html/index.html
index a8173bf0..22663186 100644
--- a/html/index.html
+++ b/html/index.html
@@ -70,7 +70,7 @@ <h1 class="modal-title fs-5" id="noscript-modal-label">JavaScript is Disabled</h
       </div>
     </noscript>
   </head>
-  <body class="min-vh-100 mw-100 d-flex flex-column justify-content-between">
+  <body inert class="min-vh-100 mw-100 d-flex flex-column justify-content-between">
     <header class="mb-3">
       <nav aria-label="navbar" class="navbar navbar-expand-sm bg-light">
         <div class="container-fluid">
diff --git a/html/js/general.js b/html/js/general.js
index 59ea0b69..1a549bcf 100644
--- a/html/js/general.js
+++ b/html/js/general.js
@@ -19,7 +19,7 @@
             storage.setItem(key, today.toISOString());
         }
 
-        $("body").tooltip({
+        $("body").removeAttr("inert").tooltip({
             selector: "[data-bs-toggle='tooltip']"
         });
     });
