2012-07-28 00:47:48 +00:00
|
|
|
<div .navbar .navbar-fixed-top>
|
|
|
|
<div .navbar-inner>
|
|
|
|
<div .container>
|
2012-07-31 06:33:51 +00:00
|
|
|
<a .brand>
|
2012-07-28 00:47:48 +00:00
|
|
|
git-annex
|
|
|
|
<ul .nav>
|
2012-07-31 06:30:26 +00:00
|
|
|
$forall (name, route, isactive) <- navbar
|
|
|
|
<li :isactive:.active>
|
2012-09-18 21:50:07 +00:00
|
|
|
<a href="@{route}">
|
|
|
|
#{name}
|
2012-07-31 16:17:31 +00:00
|
|
|
$maybe reldir <- relDir webapp
|
|
|
|
<ul .nav .pull-right>
|
2013-12-03 17:41:23 +00:00
|
|
|
$if hasFileBrowser
|
|
|
|
<li>
|
|
|
|
^{actionButton FileBrowserR (Just "Files") (Just "Click to open a file browser") "" "icon-folder-open icon-white"}
|
2012-07-31 16:17:31 +00:00
|
|
|
<li .dropdown #menu1>
|
|
|
|
<a .dropdown-toggle data-toggle="dropdown" href="#menu1">
|
2013-05-06 22:15:14 +00:00
|
|
|
Repository: #{reldir}
|
2012-07-31 16:17:31 +00:00
|
|
|
<b .caret></b>
|
2013-01-03 19:16:40 +00:00
|
|
|
^{controlMenu}
|
2012-07-31 16:17:31 +00:00
|
|
|
$nothing
|
2012-07-28 00:47:48 +00:00
|
|
|
<div .container-fluid>
|
|
|
|
<div .row-fluid>
|
2012-07-29 07:23:17 +00:00
|
|
|
^{content}
|