1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
// guix-web - Web interface for GNU Guix
// Copyright © 2014 David Thompson <davet@gnu.org>
//
// This program is free software: you can redistribute it and/or
// modify it under the terms of the GNU Affero General Public License
// as published by the Free Software Foundation, either version 3 of
// the License, or (at your option) any later version.
//
// This program is distributed in the hope that it will be useful, but
// WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
// Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public
// License along with this program. If not, see
// <http://www.gnu.org/licenses/>.
var guix = guix || {};
guix.withLayout = function(elem) {
return [
m("nav.navbar.navbar-default.navbar-static-top", {
role: "navigation"
}, m(".container", [
m(".navbar-header", m("img.logo", { src: "/images/logo.png" })),
m("ul.nav.navbar-nav", [
m("li.active", m("a", "Packages")),
]),
m("ul.nav.navbar-nav.navbar-right")
])),
m(".container", elem)
];
};
|
