Fix and suppress HTML-validate errors (#972)

* Fix unique-landmark

* Remove aria-hidden

* Better aria labels

* Bump html-validate

* Fix header

* Fix or suppress unique-landmark errors

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

Author: wenkokke

.htmlvalidate.json

@@ -7,6 +7,8 @@
     "no-dup-id": ["warn"],
     "no-inline-style": ["warn"],
     "prefer-native-element": ["warn"],
+    "unique-landmark": ["off"],
+    "hidden-focusable": ["off"],
     "valid-id": ["error", { "relaxed": true }],
     "heading-level": ["off"],
     "input-missing-label": ["off"],

.htmlvalidateignore

@@ -1,5 +1,6 @@
 /_site/19.08/
 /_site/20.07/
+/_site/TSPL/
 /_site/assets/pubs/
 /_site/assets/talks/
 /_site/plfa.html

package-lock.json

@@ -1,7 +1,7 @@
 {
   "devDependencies": {
     "browser-sync": "^3.0.2",
-    "html-validate": "^8.8.0",
+    "html-validate": "^8.11.1",
     "html-minifier": "^4.0.0",
     "sass": "^1.71.1"
   }

package.json

@@ -1,4 +1,4 @@
-<footer class="site-footer h-card">
+<footer class="site-footer h-card" aria-label="Site">
     <data class="u-url" href="/"></data>
     <div class="wrapper">
         <h2 class="footer-heading">$pagetitle$</h2>

web/templates/footer.html

@@ -1,7 +1,7 @@
-<header class="site-header">
+<header class="site-header" aria-label="Site">
     <div class="wrapper">
         <a class="site-title" href="/">$pagetitle$</a>
-        <nav class="site-nav">
+        <nav class="site-nav" aria-label="Site">
             <input type="checkbox" id="nav-trigger" class="nav-trigger" />
             <label for="nav-trigger">
                 <span class="menu-icon">
@@ -19,10 +19,10 @@
                 <a class="page-link" href="/Citing/">Citing</a>
                 <a class="page-link" href="https://agda-zh.github.io/PLFA-zh/">中文</a>
                 <a class="page-link" onclick="window.darkmode.toggle()">
-                    <i id="darkmode-trigger" class="fas fa-moon" aria-hidden="true"></i>
+                    <i id="darkmode-trigger" class="fas fa-moon"></i>
                 </a>
                 <a class="page-link" href="/plfa.epub">
-                    <i class="fa fa-book" aria-hidden="true"></i>
+                    <i class="fa fa-book"></i>
                 </a>
             </div>
         </nav>

web/templates/header.html

@@ -1,4 +1,4 @@
-<nav class="pager">
+<nav class="pager" aria-label="Chapter">
     <ul class="pagination">
         $if(prev)$
         <li><a class="pagelink" href="$prev$">Prev</a></li>

web/templates/next.html

@@ -1,6 +1,6 @@
 <article class="post">
     $^$${ next() }
-    <header class="post-header">
+    <header class="post-header" aria-label="Chapter">
         <h1 class="post-title" $if(anchor)$id="$anchor$"$endif$>$title$</h1>
     </header>
     <div class="post-content">

web/templates/page.html

@@ -1,5 +1,5 @@
 <article class="post h-entry" itemscope itemtype="https://schema.org/BlogPosting">
-    <header class="post-header">
+    <header class="post-header" aria-label="Post">
         <h1 class="post-title p-name" itemprop="name headline">$title$</h1>
         <p class="post-meta">
             <time class="dt-published" datetime="$date$" itemprop="datePublished">