diff options
Diffstat (limited to 'site/cleopatra')
| -rw-r--r-- | site/cleopatra/Contents/Coq.org | 48 | ||||
| -rw-r--r-- | site/cleopatra/Contents/Org.org | 4 | ||||
| -rw-r--r-- | site/cleopatra/Theme.org | 14 |
3 files changed, 56 insertions, 10 deletions
diff --git a/site/cleopatra/Contents/Coq.org b/site/cleopatra/Contents/Coq.org index 937467e..5e22fb0 100644 --- a/site/cleopatra/Contents/Coq.org +++ b/site/cleopatra/Contents/Coq.org @@ -28,6 +28,16 @@ COQDOCARG := --no-index --charset utf8 --short \ #+END_SRC #+BEGIN_SRC sass :tangle site/style/coq.sass +@mixin patchy-centered($inc: 0rem) + width : 100vw + position: relative + @media screen and (min-width : $document-width) + padding-left : calc(50vw - #{$document-width} / 2) + right : calc(50vw - #{$document-width} / 2) + @media screen and (max-width : $document-width) + padding-left : 1rem + right : 1rem + div.code white-space: nowrap @@ -36,6 +46,13 @@ div.code margin-top : 1em margin-bottom : 1em + pre + @include patchy-centered + padding-top : 1rem + padding-bottom : 1rem + background : $bg-verbatim + overflow-x : auto + .code @include padding-centered @include code-block @@ -47,15 +64,38 @@ h1, h2, h3, h4, h5, h6 .inlinecode font-size: 100% -.code a[href] - text-decoration: none +.code + .id[title="keyword"] + color : #ff6188 + + .id[title="definition"], + .id[title="theorem"], + .id[title="lemma"] + color : #a9dc76 - .url-mark - display: none + .id[title="inductive"], + .id[title="record"], + .id[title="axiom"], + .id[title="class"] + color : #78dce8 + + .id[title="constructor"] + color : #ab9df2 + + a[href] + color : inherit + text-decoration : none + background : #403e41 + padding : .05rem .15rem .05rem .15rem + border-radius : 15% + + .url-mark + display: none .paragraph margin-top: 1em margin-bottom: 1em + #+END_SRC # Local Variables: diff --git a/site/cleopatra/Contents/Org.org b/site/cleopatra/Contents/Org.org index c3d45fa..0211091 100644 --- a/site/cleopatra/Contents/Org.org +++ b/site/cleopatra/Contents/Org.org @@ -36,9 +36,9 @@ (use-package haskell-mode :ensure t :defer t) (use-package toml-mode :ensure t :defer t) (use-package json-mode :ensure t :defer t) -(use-package soft-stone-theme :ensure t :defer t +(use-package monokai-pro-theme :ensure t :defer t :init - (load-theme 'soft-stone t)) + (load-theme 'monokai-pro t)) (provide 'packages) #+END_SRC 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 |