blob: c05058bff7a0831578aa4dec377b0593eb14899d (
plain)
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
/*!
* Gitblit Bootstrap Overrides
*
* Copyright 2012 gitblit.com
* Licensed under the Apache License v2.0
* http://www.apache.org/licenses/LICENSE-2.0
*
*/
// GLOBAL VALUES
// --------------------------------------------------
@blueDark: #000060;
@blueDarker: #000050;
@blueDarkest: #000040;
@standardGray: #ccc;
@cornflower: #abd4ff;
@white: #fff;
// Dropdown
// -------------------------
@dropdownLinkBackgroundHover: @blueDark;
// Navbar
// -------------------------
@navbarHeight: 45px;
@navbarBackground: @blueDarkest;
@navbarBackgroundHighlight: @blueDark;
@navbarText: @white;
@navbarLinkColor: @white;
@navbarLinkColorHover: @cornflower;
@navbarLinkColorActive: @cornflower;
@navbarLinkBackgroundHover: transparent;
@navbarLinkBackgroundActive: transparent;
.navbar {
.nav {
margin: 0px;
li > a {
text-shadow: 0 1px 0 #000;
}
li > a:hover {
text-shadow: 0 0 1em white;
}
.active > a,
.active > a:hover,
.active > a:focus {
box-shadow: none;
text-decoration: underline;
}
ul.dropdown-menu > li > a {
text-shadow: none;
}
}
.brand {
@elementHeight: 27px;
padding: 10px 20px;
}
.pull-right {
margin: 0;
}
ul > li:focus, .active {
background-repeat:no-repeat;
background-image: url('../../arrow_page.png');
background-position: center bottom;
outline: 0;
}
}
.navbar-inner {
background-color: @blueDarker;
border-bottom: 2px solid #ff9900;
}
h3 small { font-size: @baseFontSize + 3; }
body { padding-top: @navbarHeight + 15 } /* 60px to make the container go all the way to the bottom of the topbar */
footer { margin-top: 25px; padding: 15px 0 16px; border-top: 1px solid #E5E5E5; }
a:hover { text-decoration: underline !important; }
em { color: #b05000; }
code {
color: #000000;
background-color: #ffffe0;
border: 1px solid orange;
border-radius: 3px;
padding: 0 0.2em;
font-family: monospace;
}
|
