karchnu/halogen-websocket-ipc-playzone
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Clearer netlib.re navbar.

Browse Source
This commit is contained in:
Philippe Pittoli 2023-07-08 02:59:30 +02:00
parent 46d9352a16
commit e4fbe59a3b
1 changed files with 44 additions and 43 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

87
src/Bulma.purs
View File

@ -411,47 +411,48 @@ modal_domain_delete domain =
netlibre_navbar :: forall w i. HH.HTML w i
netlibre_navbar =
HH.nav [HP.classes C.navbar, ARIA.label "main navigation", ARIA.role "navigation" ]
[ HH.div [HP.classes C.navbar_brand]
[ HH.a [HP.classes C.navbar_item, HP.href "/"]
[HH.img [HP.src "/logo.jpeg", HP.width 112, HP.height 28]]
, HH.a [HP.classes C.navbar_burger, ARIA.label "menu", ARIA.expanded "false", data_target "navbarExample" ]
[ HH.span [ARIA.hidden "true"] []
, HH.span [ARIA.hidden "true"] []
, HH.span [ARIA.hidden "true"] []
]
]
, HH.div [HP.id "navbarExample", HP.classes C.navbar_menu]
[ HH.div [HP.classes C.navbar_start]
[ HH.a [HP.classes C.navbar_item]
[HH.text "Home"]
, HH.a [HP.classes C.navbar_item]
[HH.text "My Domains"]
, HH.div [HP.classes (C.navbar_item <> C.has_dropdown <> C.is_hoverable)]
[ HH.a [HP.classes C.navbar_link]
[HH.text "List of something"]
, HH.div [HP.classes C.navbar_dropdown]
[ HH.a [HP.classes C.navbar_item]
[HH.text "something 1"]
, HH.a [HP.classes C.navbar_item]
[HH.text "something 2"]
, HH.a [HP.classes C.navbar_item]
[HH.text "something 3"]
, HH.hr [HP.classes C.navbar_divider]
, HH.a [HP.classes C.navbar_item]
[HH.text "something 4"]
]
]
main_nav
[ nav_brand [ logo, burger_menu ]
, nav_menu
[ navbar_start
[ link_domains
, dropdown "List of something"
[ dropdown_element "something 1"
, dropdown_element "something 2"
, dropdown_element "something 3"
, dropdown_separator
, dropdown_element "something 4"
]
]
, navbar_end
[ navbar_item
[ HH.div [HP.classes C.buttons]
[ nav_button_strong "Register"
, nav_button_light "Login"
]
, HH.div [HP.classes C.navbar_end]
[ HH.div [HP.classes C.navbar_item]
[ HH.div [HP.classes C.buttons]
[ HH.a [HP.classes (C.button <> C.is_primary)]
[HH.strong [] [HH.text "SIGN UP NOW"]]
, HH.a [HP.classes (C.button <> C.is_light)]
[HH.text "STUFF"]
]
]
]
]
]
]
]
]
]
where
main_nav = HH.nav [ HP.classes C.navbar, ARIA.label "main navigation", ARIA.role "navigation" ]
logo = HH.a [HP.classes C.navbar_item, HP.href "/"] [HH.img [HP.src "/logo.jpeg", HP.width 112, HP.height 28]]
burger_menu = HH.a [HP.classes C.navbar_burger, ARIA.label "menu", ARIA.expanded "false", data_target "navbarExample" ]
[ HH.span [ARIA.hidden "true"] []
, HH.span [ARIA.hidden "true"] []
, HH.span [ARIA.hidden "true"] []
]
nav_brand = HH.div [HP.classes C.navbar_brand]
nav_menu = HH.div [HP.id "navbarExample", HP.classes C.navbar_menu]
navbar_start = HH.div [HP.classes C.navbar_start]
navbar_end = HH.div [HP.classes C.navbar_end]
link_domains = HH.a [HP.classes C.navbar_item] [HH.text "My Domains"]
dropdown title dropdown_elements
= 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 str = HH.a [HP.classes C.navbar_item] [HH.text str]
dropdown_separator = HH.hr [HP.classes C.navbar_divider]
nav_button_strong str = HH.a [HP.classes (C.button <> C.is_primary)] [HH.strong [] [HH.text str]]
nav_button_light str = HH.a [HP.classes (C.button <> C.is_light)] [HH.text str]
navbar_item = HH.div [HP.classes C.navbar_item]