on master help sign in
Minor navigation refinements
5bb1032iko
frontend/Pages/Navigation.elm+4−4
@@ -31,13 +31,13 @@ navigation : Config msg -> List (Html msg)
31navigation { topButton, title } =
31navigation { topButton, title } =
32 (case topButton of
32 (case topButton of
33 Just (MenuButton cfg) ->
33 Just (MenuButton cfg) ->
34− optional cfg.visible (menu cfg)
34+ [ menu cfg ]
35
35
36 _ ->
36 _ ->
37 []
37 []
38 )
38 )
39 ++ [ nav [ Attr.class "p-tabs p-tabs__list" ]
39 ++ [ nav [ Attr.class "p-tabs p-tabs__list" ]
40− [ h3 [ Attr.class "u-no-margin u-no-padding" ]
40+ [ h3 [ Attr.class "" ]
41 [ case topButton of
41 [ case topButton of
42 Nothing ->
42 Nothing ->
43 button
43 button
@@ -82,8 +82,8 @@ mapMenuConfig f { title, items, toggle, visible } =
82
82
83
83
84menu : MenuConfig msg -> Html msg
84menu : MenuConfig msg -> Html msg
85−menu { title, items, toggle } =
85+menu { title, items, toggle, visible } =
86− div [ Attr.class "p-side-navigation--icons is-drawer-expanded" ]
86+ div [ Attr.class "p-side-navigation--icons", Attr.classList [ ( "is-drawer-expanded", visible ) ] ]
87 [ div [ Attr.class "p-side-navigation__overlay" ] []
87 [ div [ Attr.class "p-side-navigation__overlay" ] []
88 , nav [ Attr.class "p-side-navigation__drawer" ]
88 , nav [ Attr.class "p-side-navigation__drawer" ]
89 [ div [ Attr.class "p-side-navigation__drawer-header" ]
89 [ div [ Attr.class "p-side-navigation__drawer-header" ]