diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-27 21:39:47 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-27 21:39:47 +0100 |
| commit | 512e590a230ac6f77bef99bcd86838fcbf107550 (patch) | |
| tree | 68e02218bb8fbbb5401b768bd3fe4ab0e8fa1d4a /site/cleopatra/Theme.org | |
| parent | Tweak the theme to be more responsive (diff) | |
Use monokai-pro as the main theme and fix the CSS of Coq files
Diffstat (limited to 'site/cleopatra/Theme.org')
| -rw-r--r-- | site/cleopatra/Theme.org | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/site/cleopatra/Theme.org b/site/cleopatra/Theme.org index 222ac36..49c51c6 100644 --- a/site/cleopatra/Theme.org +++ b/site/cleopatra/Theme.org @@ -112,8 +112,9 @@ noscript.parentNode.removeChild(noscript); * Main SASS File #+BEGIN_SRC sass :tangle site/style/main.sass -$bg-color: #1B1D1E -$code-fg-color: #F8F8F2 +$bg-color: #2d2a2e +$bg-verbatim : #f4f4f4 +$code-fg-color: #fcfcfa $text-fg-color: #505050 $primary-color: black $todo-bg: #e4d3b3 @@ -151,8 +152,10 @@ $document-width : 33rem @mixin code-block @include padding-centered @include code-font - background: $bg-color - color: $code-fg-color + background : $bg-color + color : $code-fg-color + overflow-x : auto + scrollbar-width : thin * box-sizing: border-box @@ -165,6 +168,9 @@ html, body font-size : 120% @include text-font +body + overflow-x : hidden + code, tt @include code-font |