From b8b6ace7b344ffde3034a70e0f9bf9eeeb1fda5b Mon Sep 17 00:00:00 2001 From: Quentin Aristote Date: Sun, 26 Feb 2023 19:04:21 +0100 Subject: remove navbar --- html/default.nix | 4 ---- 1 file changed, 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" -- cgit v1.2.3