many styling tweaks, adds sourceName field

This commit is contained in:
2019-12-07 16:28:40 +01:00
parent ff375b6052
commit 903fdd816d
11 changed files with 294 additions and 150 deletions

View File

@@ -101,8 +101,16 @@ viewHeaderBar navbarTitle navbarLinks navbar =
nav [ class "navbar container is-transparent is-spaced " ]
[ div [ class "navbar-brand" ]
[ p [ class "navbar-item" ]
[ B.icon { icon = "fab fa-d-and-d", size = Just "is-medium", ratio = Just "fa-2x" }
, span [ class "title is-4", style "padding-left" "0.4em" ] [ text navbarTitle ]
[ B.icon
{ icon = "fab fa-d-and-d"
, size = Just "is-medium"
, ratio = Just "fa-2x"
}
, span
[ class "title is-4"
, style "padding-left" "0.4em"
]
[ text navbarTitle ]
]
, a
[ class "navbar-burger"
@@ -114,7 +122,10 @@ viewHeaderBar navbarTitle navbarLinks navbar =
, span [ attribute "aria-hidden" "true" ] []
]
]
, div [ class "navbar-menu", classList [ ( "is-active", navbar.menuOpen ) ] ]
, div
[ class "navbar-menu"
, classList [ ( "is-active", navbar.menuOpen ) ]
]
[ div [ class "navbar-end" ] navbarLinks
]
]