From e4d4c12c25be9b4835d3aa5eaed1d25793fdd55c Mon Sep 17 00:00:00 2001
From: aristote <quentin.aristote@irif.fr>
Date: Sun, 27 Jul 2025 19:52:44 +0200
Subject: custom theme

---
 lib/html.nix | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

(limited to 'lib')

diff --git a/lib/html.nix b/lib/html.nix
index a922e0e..d5e2d69 100644
--- a/lib/html.nix
+++ b/lib/html.nix
@@ -246,15 +246,16 @@
     title,
     content,
   }:
-    lines [
-      (tagsEmptyFuns.inputWith ({
-          inherit id name;
-          type = "radio";
-        }
-        // lib.optionalAttrs checked {checked = "checked";}))
-      (tagsContainerFuns.label {for = id;} [(tagsContainerFuns.h4 title)])
-      (tagsContainerFuns.div {class = "tab";} content)
-    ];
+    with tagsContainerFuns;
+      lines [
+        (tagsEmptyFuns.inputWith ({
+            inherit id name;
+            type = "radio";
+          }
+          // lib.optionalAttrs checked {checked = "checked";}))
+        (label {for = id;} [(small (b title))])
+        (div {class = "tab";} content)
+      ];
   tabbox = name: tabs: tagsContainerFuns.div {class = "tabs";} (builtins.map (tab name) tabs);
 in
   tagsContainerFuns
-- 
cgit v1.2.3