@@ -5,15 +5,15 @@ div.nav-container {
5
5
// Nothing is supposed to be over or hovering the top navbar. Maybe add a few others '('? :)
6
6
z-index : 999 ;
7
7
height : $top-navbar-height ;
8
- border-bottom : 1px solid $ color-border ;
9
- background-color : #fff ;
8
+ border-bottom : 1px solid var ( -- color-border) ;
9
+ background-color : var ( --color-background ) ;
10
10
left : 0 ;
11
11
right : 0 ;
12
12
top : 0 ;
13
13
position : fixed ;
14
14
15
15
li {
16
- border-left : 1px solid $ color-border ;
16
+ border-left : 1px solid var ( -- color-border) ;
17
17
}
18
18
19
19
.pure-menu-has-children > .pure-menu-link :after {
@@ -25,7 +25,7 @@ div.nav-container {
25
25
font-weight : 400 ;
26
26
27
27
& :hover {
28
- color : $ color-standard ;
28
+ color : var ( -- color-standard) ;
29
29
background-color : inherit ;
30
30
}
31
31
}
@@ -41,7 +41,7 @@ div.nav-container {
41
41
float : right ;
42
42
max-width : 150px ;
43
43
display : none ;
44
- border-left : 1px solid $ color-border ;
44
+ border-left : 1px solid var ( -- color-border) ;
45
45
46
46
@media #{$media-sm } {
47
47
display : block ;
@@ -52,7 +52,7 @@ div.nav-container {
52
52
}
53
53
54
54
label {
55
- color : #777 ;
55
+ color : var ( --color-navbar-standard ) ;
56
56
cursor : pointer ;
57
57
padding-left : 0.5rem ;
58
58
font-size : 0.8em ;
@@ -63,7 +63,7 @@ div.nav-container {
63
63
margin : 0 1em 0 0 ;
64
64
font-size : 0.8em ;
65
65
box-shadow : none ;
66
- background-color : #fff ;
66
+ background-color : var ( --color-background ) ;
67
67
height : 31px ;
68
68
}
69
69
}
@@ -74,7 +74,7 @@ div.nav-container {
74
74
}
75
75
76
76
.pure-menu-children {
77
- border : 1px solid $ color-border ;
77
+ border : 1px solid var ( -- color-border) ;
78
78
border-radius : 0 0 2px 2px ;
79
79
margin-left : -1px ;
80
80
@@ -86,19 +86,19 @@ div.nav-container {
86
86
// used for latest version warning
87
87
.warn ,
88
88
.warn :hover {
89
- color : $ color-type ;
89
+ color : var ( -- color-warn ) ;
90
90
}
91
91
92
92
a .warn :hover {
93
- color : darken ( $ color-type , 10 % );
93
+ color : var ( -- color-warn-hover );
94
94
}
95
95
96
96
// used for global alerts
97
97
.error {
98
- color : $ color-red ;
98
+ color : var ( -- color-error ) ;
99
99
100
100
& :hover {
101
- color : darken ( $ color-red , 10 % );
101
+ color : var ( -- color-error-hover );
102
102
}
103
103
}
104
104
@@ -142,7 +142,7 @@ div.nav-container {
142
142
p .description {
143
143
font-family : $font-family-sans ;
144
144
font-size : 0.8em ;
145
- color : #777 ; // color from pure
145
+ color : var ( -- color-navbar-standard );
146
146
padding : 0.5em 1em ;
147
147
margin : 0 ;
148
148
}
@@ -152,7 +152,7 @@ div.nav-container {
152
152
}
153
153
154
154
div .right-border {
155
- border-right : 1px solid $ color-border ;
155
+ border-right : 1px solid var ( -- color-border) ;
156
156
}
157
157
158
158
a .pure-menu-link {
0 commit comments