diff --git a/dhall-docs/src/Dhall/Docs/Html.hs b/dhall-docs/src/Dhall/Docs/Html.hs index 195fe344a..12b1cbfc2 100644 --- 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 index 931488841..90d6644e6 100644 --- a/dhall-docs/tasty/data/golden/AsText.dhall.html +++ b/dhall-docs/tasty/data/golden/AsText.dhall.html @@ -4,13 +4,13 @@ /AsText.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/ImportAsType.dhall.html b/dhall-docs/tasty/data/golden/ImportAsType.dhall.html index 4416e8559..df0578084 100644 --- a/dhall-docs/tasty/data/golden/ImportAsType.dhall.html +++ b/dhall-docs/tasty/data/golden/ImportAsType.dhall.html @@ -4,13 +4,13 @@ /ImportAsType.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html b/dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html index 3de7c201f..19c79ebbf 100644 --- a/dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html +++ b/dhall-docs/tasty/data/golden/InvalidBlockComment.dhall.html @@ -4,13 +4,13 @@ /InvalidBlockComment.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/InvalidConsecutiveComments.dhall.html b/dhall-docs/tasty/data/golden/InvalidConsecutiveComments.dhall.html index 10fa74443..73569b0bd 100644 --- a/dhall-docs/tasty/data/golden/InvalidConsecutiveComments.dhall.html +++ b/dhall-docs/tasty/data/golden/InvalidConsecutiveComments.dhall.html @@ -4,13 +4,13 @@ /InvalidConsecutiveComments.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html b/dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html index 180fbea94..4bde43f73 100644 --- a/dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html +++ b/dhall-docs/tasty/data/golden/InvalidMarkdown.dhall.html @@ -4,13 +4,13 @@ /InvalidMarkdown.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html b/dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html index abca63e1e..6b668c696 100644 --- a/dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html +++ b/dhall-docs/tasty/data/golden/InvalidMarkdownFile.md.html @@ -4,13 +4,13 @@ /InvalidMarkdownFile.md -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html b/dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html index a4117bc5c..39a5b5709 100644 --- a/dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToDefOnUnused.dhall.html @@ -4,13 +4,13 @@ /JumpToDefOnUnused.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html b/dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html index 3acb1da12..6bf138ec6 100644 --- a/dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToHereImports.dhall.html @@ -4,13 +4,13 @@ /JumpToHereImports.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html index c58993a36..cb56808d7 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingComplex.dhall.html @@ -4,13 +4,13 @@ /JumpToLamBindingComplex.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html index e956841a0..a9c6c44b1 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingSimple.dhall.html @@ -4,13 +4,13 @@ /JumpToLamBindingSimple.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html index 56bbbabd0..66b84507e 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingWithIndex.dhall.html @@ -4,13 +4,13 @@ /JumpToLamBindingWithIndex.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html index dbb52b3c5..163110334 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingWithQuotes.dhall.html @@ -4,13 +4,13 @@ /JumpToLamBindingWithQuotes.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html b/dhall-docs/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html index c5c66cdc4..0c53c4f64 100644 --- a/dhall-docs/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLamBindingWithShadowing.dhall.html @@ -4,13 +4,13 @@ /JumpToLamBindingWithShadowing.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html index 1ab0b5955..6c98009c1 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetBindingSimple.dhall.html @@ -4,13 +4,13 @@ /JumpToLetBindingSimple.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html index e373c6036..71726bfb5 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetBindingWithIndex.dhall.html @@ -4,13 +4,13 @@ /JumpToLetBindingWithIndex.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html index 38c14318c..154ab18e9 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetBindingWithQuotes.dhall.html @@ -4,13 +4,13 @@ /JumpToLetBindingWithQuotes.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html index c1059f9f9..aceade42d 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetBindingWithShadowing.dhall.html @@ -4,13 +4,13 @@ /JumpToLetBindingWithShadowing.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html b/dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html index 57f10b5b2..1c340e8ac 100644 --- a/dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToLetbindingComplex.dhall.html @@ -4,13 +4,13 @@ /JumpToLetbindingComplex.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html index 6a35ba890..23db10a90 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenFieldDoesNotExist.dhall.html @@ -4,13 +4,13 @@ /JumpToRecordFieldWhenFieldDoesNotExist.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html index 42cb36438..0ee3d133c 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html @@ -4,13 +4,13 @@ /JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html index c36ef80c6..b00889781 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html @@ -4,13 +4,13 @@ /JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html index 3de7083b0..22a49a9ad 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordType.dhall.html @@ -4,13 +4,13 @@ /JumpToRecordFieldWhenVarIsOfRecordType.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html index 882e464c9..96aa99fa8 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html @@ -4,13 +4,13 @@ /JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html index ad4ffdd76..f69ff447f 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html @@ -4,13 +4,13 @@ /JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html index 173649e42..75646e11e 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html @@ -4,13 +4,13 @@ /JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html index 8369a946f..61e9145ae 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html @@ -4,13 +4,13 @@ /JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html index de7d5ee82..18a36c1ea 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html @@ -4,13 +4,13 @@ /JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html index 7fab4b793..046d22bfe 100644 --- a/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html @@ -4,13 +4,13 @@ /JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToSelf.dhall.html b/dhall-docs/tasty/data/golden/JumpToSelf.dhall.html index 664b60d5e..b607d26a2 100644 --- a/dhall-docs/tasty/data/golden/JumpToSelf.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToSelf.dhall.html @@ -4,13 +4,13 @@ /JumpToSelf.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/JumpToUrls.dhall.html b/dhall-docs/tasty/data/golden/JumpToUrls.dhall.html index c825f0257..4f62f1e31 100644 --- a/dhall-docs/tasty/data/golden/JumpToUrls.dhall.html +++ b/dhall-docs/tasty/data/golden/JumpToUrls.dhall.html @@ -4,13 +4,13 @@ /JumpToUrls.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/MarkdownExample.dhall.html b/dhall-docs/tasty/data/golden/MarkdownExample.dhall.html index a5557b098..774d0a250 100644 --- a/dhall-docs/tasty/data/golden/MarkdownExample.dhall.html +++ b/dhall-docs/tasty/data/golden/MarkdownExample.dhall.html @@ -4,13 +4,13 @@ /MarkdownExample.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/MarkdownFile.md.html b/dhall-docs/tasty/data/golden/MarkdownFile.md.html index 542f4288a..c88b52ddb 100644 --- a/dhall-docs/tasty/data/golden/MarkdownFile.md.html +++ b/dhall-docs/tasty/data/golden/MarkdownFile.md.html @@ -4,13 +4,13 @@ /MarkdownFile.md -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/MultilineIndentationExample.dhall.html b/dhall-docs/tasty/data/golden/MultilineIndentationExample.dhall.html index 688dfb41a..6efe8f51a 100644 --- a/dhall-docs/tasty/data/golden/MultilineIndentationExample.dhall.html +++ b/dhall-docs/tasty/data/golden/MultilineIndentationExample.dhall.html @@ -4,13 +4,13 @@ /MultilineIndentationExample.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/NoDoc.dhall.html b/dhall-docs/tasty/data/golden/NoDoc.dhall.html index 9848c69a0..bb6086ef4 100644 --- a/dhall-docs/tasty/data/golden/NoDoc.dhall.html +++ b/dhall-docs/tasty/data/golden/NoDoc.dhall.html @@ -4,13 +4,13 @@ /NoDoc.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html b/dhall-docs/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html index 3119f5266..6708a679e 100644 --- a/dhall-docs/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html +++ b/dhall-docs/tasty/data/golden/NonDhallDocsCommentAfterValid.dhall.html @@ -4,13 +4,13 @@ /NonDhallDocsCommentAfterValid.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html b/dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html index 88b0b16ac..e4c34e5c9 100644 --- a/dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html +++ b/dhall-docs/tasty/data/golden/OrdinaryAnnotation.dhall.html @@ -4,13 +4,13 @@ /OrdinaryAnnotation.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/Pair.dhall.html b/dhall-docs/tasty/data/golden/Pair.dhall.html index 37188e06e..0a1d322ff 100644 --- a/dhall-docs/tasty/data/golden/Pair.dhall.html +++ b/dhall-docs/tasty/data/golden/Pair.dhall.html @@ -4,13 +4,13 @@ /Pair.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/Plain.txt.html b/dhall-docs/tasty/data/golden/Plain.txt.html index 35f7afd88..68554c710 100644 --- a/dhall-docs/tasty/data/golden/Plain.txt.html +++ b/dhall-docs/tasty/data/golden/Plain.txt.html @@ -4,13 +4,13 @@ /Plain.txt -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/RenderTypeIndexesExample.dhall.html b/dhall-docs/tasty/data/golden/RenderTypeIndexesExample.dhall.html index 976c8c171..6ea5669ad 100644 --- a/dhall-docs/tasty/data/golden/RenderTypeIndexesExample.dhall.html +++ b/dhall-docs/tasty/data/golden/RenderTypeIndexesExample.dhall.html @@ -4,13 +4,13 @@ /RenderTypeIndexesExample.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html b/dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html index f44968416..8d05fcc8f 100644 --- a/dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html +++ b/dhall-docs/tasty/data/golden/StandaloneTextFile.txt.html @@ -4,13 +4,13 @@ /StandaloneTextFile.txt -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html b/dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html index 6d71e226d..ae494e548 100644 --- a/dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html +++ b/dhall-docs/tasty/data/golden/TwoAnnotations.dhall.html @@ -4,13 +4,13 @@ /TwoAnnotations.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html b/dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html index 4058de4ec..bc72cd901 100644 --- a/dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html +++ b/dhall-docs/tasty/data/golden/a/JumpToParent.dhall.html @@ -4,13 +4,13 @@ /a/JumpToParent.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/b.dhall.html b/dhall-docs/tasty/data/golden/a/b.dhall.html index 22f99f946..50c885fc6 100644 --- a/dhall-docs/tasty/data/golden/a/b.dhall.html +++ b/dhall-docs/tasty/data/golden/a/b.dhall.html @@ -4,13 +4,13 @@ /a/b.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/b/JumpToGrandfather.dhall.html b/dhall-docs/tasty/data/golden/a/b/JumpToGrandfather.dhall.html index 3ef35d463..e0bd7a391 100644 --- a/dhall-docs/tasty/data/golden/a/b/JumpToGrandfather.dhall.html +++ b/dhall-docs/tasty/data/golden/a/b/JumpToGrandfather.dhall.html @@ -4,13 +4,13 @@ /a/b/JumpToGrandfather.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/b/c.dhall.html b/dhall-docs/tasty/data/golden/a/b/c.dhall.html index d3e4cdb96..42e57625f 100644 --- a/dhall-docs/tasty/data/golden/a/b/c.dhall.html +++ b/dhall-docs/tasty/data/golden/a/b/c.dhall.html @@ -4,13 +4,13 @@ /a/b/c.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/b/c/a.dhall.html b/dhall-docs/tasty/data/golden/a/b/c/a.dhall.html index ab1f72c9f..468790162 100644 --- a/dhall-docs/tasty/data/golden/a/b/c/a.dhall.html +++ b/dhall-docs/tasty/data/golden/a/b/c/a.dhall.html @@ -4,13 +4,13 @@ /a/b/c/a.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/b/c/index.html b/dhall-docs/tasty/data/golden/a/b/c/index.html index 94d20cbd1..bf132f581 100644 --- a/dhall-docs/tasty/data/golden/a/b/c/index.html +++ b/dhall-docs/tasty/data/golden/a/b/c/index.html @@ -4,13 +4,13 @@ /a/b/c -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/b/index.html b/dhall-docs/tasty/data/golden/a/b/index.html index 620ae5600..4df764de9 100644 --- a/dhall-docs/tasty/data/golden/a/b/index.html +++ b/dhall-docs/tasty/data/golden/a/b/index.html @@ -4,13 +4,13 @@ /a/b -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/a/index.html b/dhall-docs/tasty/data/golden/a/index.html index be458c62e..ba5a7666f 100644 --- a/dhall-docs/tasty/data/golden/a/index.html +++ b/dhall-docs/tasty/data/golden/a/index.html @@ -4,13 +4,13 @@ /a -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/deep/nested/folder/index.html b/dhall-docs/tasty/data/golden/deep/nested/folder/index.html index 4eabbed12..bdae47331 100644 --- a/dhall-docs/tasty/data/golden/deep/nested/folder/index.html +++ b/dhall-docs/tasty/data/golden/deep/nested/folder/index.html @@ -4,13 +4,13 @@ /deep/nested/folder -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/deep/nested/folder/my-even.dhall.html b/dhall-docs/tasty/data/golden/deep/nested/folder/my-even.dhall.html index 0b2a5cec6..67efd22ed 100644 --- a/dhall-docs/tasty/data/golden/deep/nested/folder/my-even.dhall.html +++ b/dhall-docs/tasty/data/golden/deep/nested/folder/my-even.dhall.html @@ -4,13 +4,13 @@ /deep/nested/folder/my-even.dhall -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/deep/nested/index.html b/dhall-docs/tasty/data/golden/deep/nested/index.html index 2fa3bf7e4..bab2d3d3c 100644 --- a/dhall-docs/tasty/data/golden/deep/nested/index.html +++ b/dhall-docs/tasty/data/golden/deep/nested/index.html @@ -4,13 +4,13 @@ /deep/nested -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/index.html b/dhall-docs/tasty/data/golden/index.html index 99bd21c25..a3d854b4f 100644 --- a/dhall-docs/tasty/data/golden/index.html +++ b/dhall-docs/tasty/data/golden/index.html @@ -4,13 +4,13 @@ / -
- +Dhall logo.

test-package

diff --git a/dhall-docs/tasty/data/golden/package.dhall.html b/dhall-docs/tasty/data/golden/package.dhall.html index 610536662..f157731f9 100644 --- a/dhall-docs/tasty/data/golden/package.dhall.html +++ b/dhall-docs/tasty/data/golden/package.dhall.html @@ -4,13 +4,13 @@ /package.dhall -
- +Dhall logo.

test-package