dhall-docs: fix an error and a warning reported by the w3c validator (#…

…2580) * dhall-docs: Add alt text to Dhall logo * dhall-docs: Remove redundant type attribute from script tag
dhall-lang · Apr 15, 2024 · 2efaa1b · 2efaa1b
1 parent ec50168
commit 2efaa1b
Show file tree

Hide file tree

Showing 55 changed files with 110 additions and 110 deletions.
diff --git a/dhall-docs/src/Dhall/Docs/Html.hs b/dhall-docs/src/Dhall/Docs/Html.hs
@@ -241,6 +241,7 @@ navBar DocParams{..} = div_ [class_ "nav-bar"] $ do
 
     -- Left side of the nav-bar
     img_ [ class_ "dhall-icon"
+         , alt_ "Dhall logo."
          , src_ $ Data.Text.pack $ relativeResourcesPath <> "dhall-icon.svg"
          ]
     p_ [class_ "package-title"] $ toHtml packageName
@@ -277,8 +278,7 @@ stylesheet path =
 script :: FilePath -> Html ()
 script relativeResourcesPath =
     script_
-        [ type_ "text/javascript"
-        , src_ $ Data.Text.pack $ relativeResourcesPath <> "index.js"]
+        [ src_ $ Data.Text.pack $ relativeResourcesPath <> "index.js"]
         ("" :: Text)
 
 toUnixPath :: String -> Text

diff --git a/dhall-docs/tasty/data/golden/AsText.dhall.html b/dhall-docs/tasty/data/golden/AsText.dhall.html
@@ -4,13 +4,13 @@
 <title>/AsText.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/ImportAsType.dhall.html b/dhall-docs/tasty/data/golden/ImportAsType.dhall.html
@@ -4,13 +4,13 @@
 <title>/ImportAsType.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html b/dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html
@@ -4,13 +4,13 @@
 <title>/InvalidBlockComment.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/InvalidConsecutiveComments.dhall.html b/dhall-docs/tasty/data/golden/InvalidConsecutiveComments.dhall.html
@@ -4,13 +4,13 @@
 <title>/InvalidConsecutiveComments.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html b/dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html
@@ -4,13 +4,13 @@
 <title>/InvalidMarkdown.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html b/dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html
@@ -4,13 +4,13 @@
 <title>/InvalidMarkdownFile.md</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html b/dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToDefOnUnused.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html b/dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToHereImports.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToLamBindingComplex.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToLamBindingSimple.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToLamBindingWithIndex.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToLamBindingWithQuotes.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToLamBindingWithShadowing.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToLetBindingSimple.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToLetBindingWithIndex.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToLetBindingWithQuotes.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToLetBindingWithShadowing.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToLetbindingComplex.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToRecordFieldWhenFieldDoesNotExist.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/...ty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html b/...ty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToRecordFieldWhenVarIsOfRecordType.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html
@@ -4,13 +4,13 @@
 <title>/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall</title>
 <link rel="stylesheet" type="text/css" href="index.css">
 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
-<script type="text/javascript" src="index.js">
+<script src="index.js">
 </script>
 <meta charset="UTF-8">
 </head>
 <body>
 <div class="nav-bar">
-<img class="dhall-icon" src="dhall-icon.svg">
+<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
 <p class="package-title">test-package</p>
 <div class="nav-bar-content-divider">
 </div>