diff options
| -rw-r--r-- | html/default.nix | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/html/default.nix b/html/default.nix index e7f8689..61e7a96 100644 --- a/html/default.nix +++ b/html/default.nix @@ -51,10 +51,6 @@ doctype "html" + html.html { lang = "en"; } [ }) ]) (body [ - (header [ - (nav (ul ([ (li "Quentin Aristote") ] ++ for sections - (section: li (href "#${section.title}" section.title))))) - ]) (main { role = "main"; } (for sections (section: section.body))) (footer "Webpage ${ href "#Software#aristoteWebpage" "generated" |