File tree 2 files changed +32
-1
lines changed
2 files changed +32
-1
lines changed Original file line number Diff line number Diff line change 9
9
./build.py
10
10
11
11
copy :
12
- cp badlink_detector.js docs/badlink_detector.js
12
+ cp badlink_detector.js docs/
13
13
cp * .png docs/
14
+ cp theme.css docs/
Original file line number Diff line number Diff line change
1
+ : root {
2
+ --color-bg : # eee ;
3
+ --color-fg : # 0a0a0a ;
4
+ --black : white;
5
+ --white : black;
6
+ --lightgray : # 888 ;
7
+ --darkgray : # 444 ;
8
+ --theme-1-darker : # f60 ;
9
+ --theme-1 : darkorange;
10
+ --theme-1-lighter : darkorange;
11
+ --theme-1-lightest : # fa4 ;
12
+ --theme-2-darker : blue;
13
+ --theme-2 : # 06f ;
14
+ --theme-3 : red;
15
+ --theme-3-darker : maroon;
16
+ --theme-4 : lime;
17
+ --theme-4-darker : green;
18
+ --color-heading : var (--theme-2 );
19
+ --color-link : var (--theme-2 );
20
+ --color-link-visited : var (--theme-1 );
21
+ --color-open-tab : var (--theme-3 );
22
+ --color-footer : var (--darkgray );
23
+ --font-heading : "Computro Mono" , monospace;
24
+ --font-body : "Open Sans" , sans-serif;
25
+ --font-code : "Ubuntu Mono" , monospace;
26
+ }
27
+
28
+ a .broken {
29
+ color : var (--theme-3 );
30
+ }
You can’t perform that action at this time.
0 commit comments