2014-04-20 12:42:31 +02:00
|
|
|
<div .navbar .navbar-inverse .navbar-fixed-top role="navigation">
|
|
|
|
<div .container>
|
|
|
|
<div .navbar-header>
|
|
|
|
<button type="button" .navbar-toggle data-toggle="collapse" data-target=".navbar-collapse">
|
2014-04-21 13:05:52 +02:00
|
|
|
<span .sr-only>Toggle navigation
|
2014-04-20 12:42:31 +02:00
|
|
|
<span .icon-bar>
|
|
|
|
<span .icon-bar>
|
|
|
|
<span .icon-bar>
|
|
|
|
<a .navbar-brand>
|
2012-07-27 20:47:48 -04:00
|
|
|
git-annex
|
2014-04-20 12:42:31 +02:00
|
|
|
<div .navbar-collapse .collapse>
|
|
|
|
<ul .nav .navbar-nav>
|
2012-07-31 02:30:26 -04:00
|
|
|
$forall (name, route, isactive) <- navbar
|
|
|
|
<li :isactive:.active>
|
2012-09-18 17:50:07 -04:00
|
|
|
<a href="@{route}">
|
|
|
|
#{name}
|
2012-07-31 12:17:31 -04:00
|
|
|
$maybe reldir <- relDir webapp
|
2014-04-20 12:42:31 +02:00
|
|
|
<ul .nav .navbar-nav .navbar-right>
|
2018-10-13 01:36:06 -04:00
|
|
|
<li>
|
|
|
|
^{actionButton FileBrowserR (Just "Files") (Just "Click to open a file browser") "" "glyphicon-folder-open icon-white"}
|
2012-07-31 12:17:31 -04:00
|
|
|
<li .dropdown #menu1>
|
|
|
|
<a .dropdown-toggle data-toggle="dropdown" href="#menu1">
|
2013-05-06 18:15:14 -04:00
|
|
|
Repository: #{reldir}
|
2014-04-21 13:05:52 +02:00
|
|
|
<b .caret>
|
2013-01-03 15:16:40 -04:00
|
|
|
^{controlMenu}
|
2012-07-31 12:17:31 -04:00
|
|
|
$nothing
|
2012-07-27 20:47:48 -04:00
|
|
|
<div .container-fluid>
|
2014-04-20 12:42:31 +02:00
|
|
|
<div .row>
|
2012-07-29 03:23:17 -04:00
|
|
|
^{content}
|