File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 99 ./build.py
1010
1111copy :
12- cp badlink_detector.js docs/badlink_detector.js
12+ cp badlink_detector.js docs/
1313 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