From 6a74eb87292b1798f627ae318852ee29c9e4fab8 Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Tue, 27 Jun 2023 13:00:29 +0200 Subject: [PATCH] nav/html --- build.py | 71 ++++++++++++++++++++------------------------------------ 1 file changed, 25 insertions(+), 46 deletions(-) diff --git a/build.py b/build.py index 0f9eb53..6a9550a 100755 --- a/build.py +++ b/build.py @@ -8,6 +8,25 @@ def run(*args): subprocess.call(args) +def link(active: str, id: str, text: str) -> str: + items = ['{text}') + return str().join(items) + + +def nav(active: str) -> str: + return f'''\ + +''' + def main(): root = os.path.dirname(os.path.realpath(__file__)) link_gv = os.path.join(root, 'link.gv') @@ -35,29 +54,13 @@ def main():
-
- - - -
+{nav('home')}
- +{nav('home')} Home @@ -67,13 +70,7 @@ Home
- +{nav('id')} @@ -214,13 +211,7 @@ Home
- +{nav('tilde')}