37 lines
1.5 KiB
Text
37 lines
1.5 KiB
Text
<header>
|
|
<nav .navbar .navbar-expand-lg .navbar-dark.bg-dark>
|
|
$maybe title <- appTitle $ appSettings master
|
|
<a .navbar-brand href=@{HomeR}>#{title}
|
|
<button type="button" .navbar-toggler data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar" aria-label="Toggle navigation">
|
|
<span .navbar-toggler-icon>
|
|
|
|
<div #navbar .collapse.navbar-collapse>
|
|
<ul .navbar-nav.mr-auto>
|
|
$forall MenuItem label route _ <- navbarLeftFilteredMenuItems
|
|
<li .nav-item :Just route == mcurrentRoute:.active>
|
|
<a .nav-link href=@{route}>#{label}
|
|
|
|
<ul .navbar-nav>
|
|
$forall MenuItem label route _ <- navbarRightFilteredMenuItems
|
|
<li .nav-item :Just route == mcurrentRoute:.active>
|
|
<a .nav-link href=@{route}>#{label}
|
|
$if not $ null parents
|
|
<ul .breadcrumb.rounded-0>
|
|
$forall bc <- parents
|
|
<li .breadcrumb-item>
|
|
<a href=@{fst bc}>#{snd bc}
|
|
<li .breadcrumb-item.active>#{title}
|
|
$maybe msg <- mmsg
|
|
<div .alert.alert-info #message>#{msg}
|
|
|
|
<main>
|
|
^{widget}
|
|
|
|
<footer>
|
|
<p>
|
|
all content licensed under #
|
|
<a rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/">cc by-sa 4.0
|
|
$with Package { packageName = n, packageVersion = v, packageRepository = r } <- package
|
|
<p>
|
|
powered by #
|
|
<a href="#{repositoryUrl r}/tree/#{v}">#{n} #{v}
|