blob: e9a833017bb8ddd23a7c9515679fe699016c584c (
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
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
@import ../../style-globals/_mixins.sass
@import ../../style-globals/_variables.sass
.opendc-navbar
position: relative
display: block
width: 100%
height: $navbar-height
color: #eee
background: #343434
z-index: 100
-webkit-box-shadow: -10px 8px 3px 12px #000
-moz-box-shadow: -10px 8px 3px 12px #000
box-shadow: -10px -10px 3px 12px #000
.opendc-brand
display: inline-block
float: left
margin-left: $global-padding
padding: 0 10px
cursor: pointer
color: #eee
height: 100%
+transition(background, $transition-length)
&:hover
color: #fff
img
display: inline-block
float: left
margin: $navbar-padding 0
width: $navbar-height - $navbar-padding * 2
height: $navbar-height - $navbar-padding * 2
vertical-align: middle
.opendc-title
display: inline-block
float: right
margin-left: 20px
font-size: 16pt
line-height: $navbar-height
.opendc-brand:hover
background: $blue
.opendc-brand:active
background: $blue-dark
.navbar-button-group
display: inline-block
height: 100%
a
display: inline-block
line-height: $navbar-height
text-align: center
color: #eee
border-left: 1px solid #464646
+clickable
+transition(background, $transition-length)
a:last-of-type
border-right: 1px solid #464646
.navigation
margin-left: 30px
.simulations
float: left
padding: 0 20px
font-size: 12pt
.simulations:hover
background: #606060
.simulations:active
background: #161616
.user-controls
float: right
margin-right: $global-padding
.support
float: left
margin-top: -1px
width: $navbar-height
font-size: 14pt
.support:hover
background: #41a0cd
.support:active
background: #307798
.username
float: left
padding: 0 20px
font-size: 12pt
.username:hover
background: #4eae44
.username:active
background: #2d6527
|
