blob: 7648b6107741acdd6308bc64ced8c28aa6da5301 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
<div .navbar .navbar-fixed-top>
<div .navbar-inner>
<div .container>
<a .brand>
git-annex
<ul .nav>
$forall (name, route, isactive) <- navbar
<li :isactive:.active>
<a href="@{route}">
#{name}
$maybe reldir <- relDir webapp
<ul .nav .pull-right>
<li>
^{actionButton FileBrowserR (Just "Files") "" "icon-folder-open icon-white"}
<li .dropdown #menu1>
<a .dropdown-toggle data-toggle="dropdown" href="#menu1">
Current Repository: #{reldir}
<b .caret></b>
^{otherReposWidget}
$nothing
<div .container-fluid>
<div .row-fluid>
^{content}
|