From 85cda46d632acaff05b952986b466a79b028bee4 Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Wed, 20 Mar 2024 19:52:19 +0100 Subject: [PATCH] Add colors to source code links. --- src/App/Page/Navigation.purs | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/src/App/Page/Navigation.purs b/src/App/Page/Navigation.purs index 45363ed..6238106 100644 --- a/src/App/Page/Navigation.purs +++ b/src/App/Page/Navigation.purs @@ -160,7 +160,6 @@ render { logged, active, admin } = = HH.div [HP.classes $ C.navbar_item <> C.has_dropdown <> C.is_hoverable] [ dropdown_title title, HH.div [HP.classes C.navbar_dropdown] dropdown_elements ] dropdown_title str = HH.a [HP.classes C.navbar_link] [HH.text str] - dropdown_element link str = HH.a [HP.classes C.navbar_item, HP.href link] [HH.text str] dropdown_separator = HH.hr [HP.classes C.navbar_divider] --nav_button_strong str action = btn C.is_primary action (HH.strong [] [ HH.text str ]) @@ -179,6 +178,10 @@ render { logged, active, admin } = , HE.onClick (\_ -> action) ] [ (HH.text str) ] + dropdown_element classes link str = HH.a [HP.classes (C.navbar_item <> classes), HP.href link] [HH.text str] + dropdown_element_primary link str = dropdown_element C.has_background_info_light link str + dropdown_element_secondary link str = dropdown_element C.has_background_warning_light link str + dropdown_section_primary t = HH.p [HP.classes $ C.has_background_info <> C.has_text_light <> C.navbar_item] [HH.text t] dropdown_section_secondary t @@ -186,13 +189,13 @@ render { logged, active, admin } = code_dropdown = dropdown "Source code" [ dropdown_section_primary "Main parts of this service" - , dropdown_element "https://git.baguette.netlib.re/Baguette/authd" "authentication daemon" - , dropdown_element "https://git.baguette.netlib.re/Baguette/dnsmanager" "dnsmanager daemon" - , dropdown_element "https://git.baguette.netlib.re/Baguette/dnsmanager-webclient" "dnsmanager web client" + , dropdown_element_primary "https://git.baguette.netlib.re/Baguette/authd" "authentication daemon" + , dropdown_element_primary "https://git.baguette.netlib.re/Baguette/dnsmanager" "dnsmanager daemon" + , dropdown_element_primary "https://git.baguette.netlib.re/Baguette/dnsmanager-webclient" "dnsmanager web client" , dropdown_separator , dropdown_section_secondary "A few more links (for nerds)" - , dropdown_element "https://git.baguette.netlib.re/Baguette/libipc" "libIPC: communication library" - , dropdown_element "https://git.baguette.netlib.re/Baguette/dodb.cr" "DoDB: document-oriented database" + , dropdown_element_secondary "https://git.baguette.netlib.re/Baguette/libipc" "libIPC: communication library" + , dropdown_element_secondary "https://git.baguette.netlib.re/Baguette/dodb.cr" "DoDB: document-oriented database" ] --btn c action str