nav = [ ["home", "https://johanv.xyz"], ["games", "/"], ["CARL", "/carl"], ["boggle", "/boggle"], ["maze", "/maze"], ["whack", "/whack.pl"], ["math", "/math"], ["chem", "/chem"] ]