@@ -11,31 +11,41 @@ $base-line-height: 1.5;
11
11
$spacing-unit : 30px ;
12
12
13
13
// Our variables
14
- $text-color : var (--text-color );
15
- $background-color : var (--background-color );
16
- $brand-color : var (--brand-color );
17
- $brand-color-visited : var (--brand-color-visited );
18
- $grey-colour : #828282 ;
19
- $grey-colour-light : lighten ($grey-colour , 40% );
20
- $grey-colour-dark : darken ($grey-colour , 25% );
14
+ $text-color : var (--text-color );
15
+ $background-color : var (--background-color );
16
+ $brand-color : var (--brand-color );
17
+ $brand-color-visited : var (--brand-color-visited );
18
+ $pre-color : var (--pre-color );
19
+ $code-bg-color : var (--code-bg-color );
20
+ $code-border-color : var (--code-border-color );
21
+ $grey-colour : #828282 ;
22
+ $grey-colour-light : lighten ($grey-colour , 40% );
23
+ $grey-colour-dark : darken ($grey-colour , 25% );
21
24
22
25
// Light theme colors
23
26
$text-color-lt : #444 ;
24
27
$background-color-lt : #fdfdfd ;
25
28
$brand-color-lt : #2a7ae2 ;
26
29
$brand-color-visited-lt : #1756a9 ;
30
+ $pre-color-lt : #333 ;
31
+ $code-bg-color-lt : #eef ;
27
32
28
33
// Dark theme colors
29
34
$text-color-dt : #f0f0f0 ;
30
35
$background-color-dt : #353535 ;
31
36
$brand-color-dt : #d2991d ;
32
37
$brand-color-visited-dt : #9a7015 ;
38
+ $pre-color-dt : #aeaeae ;
39
+ $code-bg-color-dt : #2a2a2a ;
33
40
34
41
:root {
35
- --text-color : #{$text-color-lt } ;
36
- --background-color : #{$background-color-lt } ;
37
- --brand-color : #{$brand-color-lt } ;
42
+ --text-color : #{$text-color-lt } ;
43
+ --background-color : #{$background-color-lt } ;
44
+ --brand-color : #{$brand-color-lt } ;
38
45
--brand-color-visited : #{$brand-color-visited-lt } ;
46
+ --pre-color : #{$pre-color-lt } ;
47
+ --code-bg-color : #{$code-bg-color-lt } ;
48
+ --code-border-color : #{$grey-colour-light } ;
39
49
}
40
50
41
51
@media (prefers-color-scheme : dark ) {
@@ -44,6 +54,9 @@ $brand-color-visited-dt: #9a7015;
44
54
--background-color : #{$background-color-dt } ;
45
55
--brand-color : #{$brand-color-dt } ;
46
56
--brand-color-visited : #{$brand-color-visited-dt } ;
57
+ --pre-color : #{$pre-color-dt } ;
58
+ --code-bg-color : #{$code-bg-color-dt } ;
59
+ --code-border-color : #{$code-bg-color-dt } ;
47
60
}
48
61
}
49
62
0 commit comments