Skip to content

Commit

Permalink
dhall-docs: Add alt text to Dhall logo
Browse files Browse the repository at this point in the history
  • Loading branch information
kukimik committed Apr 12, 2024
1 parent ec50168 commit 1618a63
Show file tree
Hide file tree
Showing 55 changed files with 55 additions and 54 deletions.
1 change: 1 addition & 0 deletions dhall-docs/src/Dhall/Docs/Html.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/AsText.dhall.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/ImportAsType.dhall.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/JumpToSelf.dhall.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/JumpToUrls.dhall.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/MarkdownExample.dhall.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/MarkdownFile.md.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/NoDoc.dhall.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/Pair.dhall.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/Plain.txt.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
2 changes: 1 addition & 1 deletion dhall-docs/tasty/data/golden/a/b.dhall.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
</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>
Expand Down
Loading

0 comments on commit 1618a63

Please sign in to comment.