blob: 20e46de2a604236b37734afacebc3d562c0c0fce (
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
|
#header
background: $brand_primary url(image-path('header.png')) no-repeat
.navbar-brand
padding-top: 5px
padding-bottom: 5px
line-height: 40px
img
height: 40px
.navbar-text
margin-top: 10px
margin-bottom: 10px
margin-left: 0px
.brand_name
color: white
font-weight: bold
font-size: 20px
.version
margin-left: 5px
color: white
font-size: 12px
.gravatar
margin-right: 5px
img
width: 25px
height: 25px
.dropdown.languages
.dropdown-menu
min-width: 56px
|