11: root {
22 --color-banner-title-text : black;
33 --color-banner-background : white;
4+
45 --color-code-text : black;
5- --color-code-background : # ebdac7 ;
6+ --color-code-background : # EBDAC7 ;
67 --color-code-box-borders : black;
78 --color-line-nums-text : # 888 ;
8- --color-line-nums-background : # ebdac7 ;
9+ --color-line-nums-background : # EBDAC7 ;
910 --color-code-line-nums-border : black;
11+
1012 --color-output-normal-text : black;
11- --color-output-normal-background : # ddd ;
13+ --color-output-normal-background : # DDD ;
1214 --color-output-error-text : # 800 ;
13- --color-output-error-background : # fcc ;
14- --color-run-button-background : # eee ;
15- --color-run-button-boarder : # ccc ;
16- --color-run-button-text : # 222 ;
17- --color-run-button-hover-background : # 666 ;
18- --color-run-button-hover-boarder : # ccc ;
19- --color-run-button-hover-text : # fff ;
20- --color-buttons-background : # eee ;
21- --color-buttons-boarder : # ccc ;
15+ --color-output-error-background : # FCC ;
16+
17+ --color-run-button-background : # FFF5D5 ;
18+ --color-run-button-boarder : # 0E6A8A ;
19+ --color-run-button-text : # 0E6A8A ;
20+ --color-run-button-hover-background : # 0E6A8A ;
21+ --color-run-button-hover-boarder : # 0E6A8A ;
22+ --color-run-button-hover-text : # FFF5D5 ;
23+
24+ --color-buttons-background : # EEE ;
25+ --color-buttons-boarder : # CCC ;
2226 --color-buttons-text : # 222 ;
23- --color-buttons-hover-background : # 666 ;
24- --color-buttons-hover-boarder : # ccc ;
25- --color-buttons-hover-text : # fff ;
26- --color-share-url-background : # eee ;
27- --color-share-url-boarder : # ccc ;
27+ --color-buttons-hover-background : # 0E6A8A ;
28+ --color-buttons-hover-boarder : # 0E6A8A ;
29+ --color-buttons-hover-text : # FFF5D5 ;
30+
31+ --color-share-url-background : # EEE ;
32+ --color-share-url-boarder : # CCC ;
2833 --color-share-url-text : black;
29- --color-toggle-background : # ccc ;
30- --color-toggle-background-checked : # ccc ;
31- --color-toggle-foreground : # 333 ;
32- --color-toggle-foreground-checked : # 333 ;
34+
35+ --color-toggle-background : # CCC ;
36+ --color-toggle-background-checked : # 0E6A8A ;
37+ --color-toggle-foreground : # 0E6A8A ;
38+ --color-toggle-foreground-checked : # FFF5D5 ;
3339
3440 --font-family-banner-title : Arial, sans;
3541 --font-size-banner-title : 32px ;
3642 --font-size-banner-title-sub : 24px ;
43+ --font-size-banner-title-version : 24px ;
3744 --font-family-controls : sans-serif;
3845 --font-size-controls : 16px ;
3946 --size-toggle-box : 30px ;
@@ -88,6 +95,10 @@ html, body {
8895 font-size : var (--font-size-banner-title-sub );
8996}
9097
98+ # banner-title-version {
99+ font-size : var (--font-size-banner-title-version );
100+ }
101+
91102/* The part of the banner containing the buttons and controls */
92103# controls {
93104 display : flex;
@@ -104,6 +115,7 @@ html, body {
104115 border-radius : 5px ;
105116 font-family : var (--font-family-controls );
106117 font-size : var (--font-size-controls );
118+ /* TODO(grantnelson-wf): Add some shadow, like box-shadow: 5px 10px 10px #888888;*/
107119}
108120
109121/* The run code button */
0 commit comments