Skip to content

Commit

Permalink
dhall-docs: Remove redundant type attribute from script tag
Browse files Browse the repository at this point in the history
  • Loading branch information
kukimik committed Apr 12, 2024
1 parent 1618a63 commit 99cfaf4
Show file tree
Hide file tree
Showing 55 changed files with 55 additions and 56 deletions.
3 changes: 1 addition & 2 deletions dhall-docs/src/Dhall/Docs/Html.hs
Original file line number Diff line number Diff line change
Expand Up @@ -278,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
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 @@ -4,7 +4,7 @@
<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>
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 @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
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 @@ -4,7 +4,7 @@
<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>
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 @@ -4,7 +4,7 @@
<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>
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 @@ -4,7 +4,7 @@
<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>
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 @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<title>/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<title>/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<title>/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<title>/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<title>/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.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>
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 @@ -4,7 +4,7 @@
<title>/JumpToSelf.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>
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 @@ -4,7 +4,7 @@
<title>/JumpToUrls.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>
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 @@ -4,7 +4,7 @@
<title>/MarkdownExample.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>
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 @@ -4,7 +4,7 @@
<title>/MarkdownFile.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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<title>/MultilineIndentationExample.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>
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 @@ -4,7 +4,7 @@
<title>/NoDoc.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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<title>/NonDhallDocsCommentAfterValid.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>
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 @@ -4,7 +4,7 @@
<title>/OrdinaryAnnotation.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>
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 @@ -4,7 +4,7 @@
<title>/Pair.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>
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 @@ -4,7 +4,7 @@
<title>/Plain.txt</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>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<title>/RenderTypeIndexesExample.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>
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 @@ -4,7 +4,7 @@
<title>/StandaloneTextFile.txt</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>
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 @@ -4,7 +4,7 @@
<title>/TwoAnnotations.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>
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 @@ -4,7 +4,7 @@
<title>/a/JumpToParent.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>
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 @@ -4,7 +4,7 @@
<title>/a/b.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>
Expand Down
Loading

0 comments on commit 99cfaf4

Please sign in to comment.