2017-10-02 07:44:28 -04:00
|
|
|
<header>
|
|
|
|
<nav .navbar .navbar-expand-lg .navbar-dark.bg-dark>
|
|
|
|
$maybe title <- appTitle $ appSettings master
|
2017-10-06 00:04:46 -04:00
|
|
|
<a .navbar-brand rel="home" href=@{HomeR}>#{title}
|
2017-10-02 07:44:28 -04:00
|
|
|
<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>
|
2017-10-02 07:33:32 -04:00
|
|
|
|
2017-10-02 07:44:28 -04:00
|
|
|
<div #navbar .collapse.navbar-collapse>
|
2017-10-05 23:43:00 -04:00
|
|
|
$forall bar <- navbars
|
|
|
|
<ul .navbar-nav>
|
|
|
|
$forall MenuItem label route <- bar
|
|
|
|
<li .nav-item :Just route == mcurrentRoute:.active>
|
|
|
|
<a .nav-link href=@{route}>#{label}
|
2017-10-02 07:33:32 -04:00
|
|
|
|
2017-10-08 21:14:14 -04:00
|
|
|
$if not $ null crumbs
|
|
|
|
<ol .breadcrumb>
|
|
|
|
$forall (route, title) <- crumbs
|
2017-10-02 07:33:32 -04:00
|
|
|
<li .breadcrumb-item>
|
2017-10-08 21:14:14 -04:00
|
|
|
<a href=@{route}>#{title}
|
2017-10-02 07:33:32 -04:00
|
|
|
<li .breadcrumb-item.active>#{title}
|
2017-10-08 21:14:14 -04:00
|
|
|
<script type="application/ld+json">#{preEscapedToMarkup jsonCrumbs}
|
2017-10-02 03:07:09 -04:00
|
|
|
$maybe msg <- mmsg
|
|
|
|
<div .alert.alert-info #message>#{msg}
|
2017-10-02 07:44:28 -04:00
|
|
|
|
|
|
|
<main>
|
2017-10-02 03:07:09 -04:00
|
|
|
^{widget}
|
|
|
|
|
2017-10-02 07:44:28 -04:00
|
|
|
<footer>
|
2017-10-04 18:58:32 -04:00
|
|
|
<p>
|
2017-10-05 01:19:15 -04:00
|
|
|
all content licensed under #
|
2017-10-04 18:58:32 -04:00
|
|
|
<a rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/">cc by-sa 4.0
|
2017-10-05 01:19:15 -04:00
|
|
|
$with Package { packageName = n, packageVersion = v, packageRepository = r } <- package
|
|
|
|
<p>
|
|
|
|
powered by #
|
2017-10-06 00:04:46 -04:00
|
|
|
<a rel="code-repository" href="#{repositoryUrl r}/tree/v#{v}">#{n} #{v}
|