diff --git a/site/stylesheet.css b/site/stylesheet.css index 6f9a01d..3c7b752 100644 --- a/site/stylesheet.css +++ b/site/stylesheet.css @@ -13,9 +13,13 @@ a:hover { text-decoration: underline; } +body, +#table-of-contents { + background-color: #0c191c; + color: #eeeeec; +} + body { - background-color: #262a2b; - color: #ffffff; font-family: "DejaVu Sans", sans-serif; padding-left: 10px; } @@ -29,7 +33,7 @@ code { code, pre { font-family: "DejaVu Sans Mono", mono; - background-color: #181818; + background-color: #252a2b; color: #eeeeec; } @@ -110,7 +114,6 @@ pre { position: fixed; top: 16px; right: 0; - background-color: #262a2b; overflow: auto; max-height: 80%; } @@ -130,54 +133,55 @@ pre { /* Org font-locking */ .src { - background-color: #002b36; - color: #839496; + background-color: #252a2b; + color: #eeeeec; + overflow: auto; } .org-keyword { - color: #859900; + font-weight: bold; + color: #729fcf; } .org-string { - color: #2aa198; + color: #ad7fa8; } .org-function-name { - color: #268bd2; + font-weight: bold; + color: #edd400; } .org-doc { - color: #586e75; - font-style: italic; + color: #babdb6; } .org-constant { - color: #2aa198; - font-style: normal; + color: #73d216; } .org-type { - color: #b58900; + color: #73d216; + font-weight: bold; } .org-regexp-grouping-backslash { - color: #b58900; + font-weight: bold; } .org-regexp-grouping-construct { - color: #cb4b16; + font-weight: bold; } .org-builtin { - color: #859900; + color: #729fcf; } .org-negation-char { - color: #dc322f; } .org-variable-name { - color: #268bd2; + color: #ef2929; } /* Navigation menu */