enable tags and header hiding

3dcitydb · Dec 4, 2024 · b0321bd · b0321bd
1 parent 3c806de
commit b0321bd
Show file tree

Hide file tree

Showing 4 changed files with 17 additions and 7 deletions.
diff --git a/docs/.pages b/docs/.pages
@@ -2,6 +2,7 @@ nav:
     - Welcome:
         - index.md
         - usage-contrib.md
+        - tags.md
     - First steps
     - Relational database schema
     - ...
diff --git a/docs/First steps/docker.md b/docs/First steps/docker.md
@@ -4,9 +4,8 @@ subtitle: Getting started with the 3DCityDB and Docker
 description:
 # icon: material/emoticon-happy
 status: wip
-# tags:
-#   - tag1
-#   - tag2
+tags:
+  - docker
 ---
 
 Intro content

diff --git a/docs/tags.md b/docs/tags.md
@@ -0,0 +1,10 @@
+---
+title: Search tags
+subtitle: List of tags and tagged pages
+description: Common search terms for page navigation
+# icon: material/emoticon-happy
+status: wip
+# tags:
+#   - tag1
+#   - tag2
+---
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -47,17 +47,17 @@ theme:
     - search.highlight
     - search.share
     # Header
-    # - header.autohide
+    - header.autohide
 
 # Plugins #####################################################################
 plugins:
   - search:
       lang: en
   - glightbox
-  # - tags:
-  #     enabled: true
-  #     tags_file: tags.md
   - awesome-pages
+  - tags:
+      enabled: true
+      tags_file: tags.md
 
 # Extra #######################################################################
 extra: