diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-08-27 15:05:29 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-08-27 15:05:29 +0200 |
commit | b065628fb1ffa6edf8f35a690931c2d56d26ab3e (patch) | |
tree | f5c75029bc4b61de228e809889dc58f5907e5fb6 /site/cleopatra/org.org | |
parent | Make the two articles about Ltac refer to each other (diff) |
Simplify the theme
Diffstat (limited to 'site/cleopatra/org.org')
-rw-r--r-- | site/cleopatra/org.org | 55 |
1 files changed, 19 insertions, 36 deletions
diff --git a/site/cleopatra/org.org b/site/cleopatra/org.org index b846ee8..df6c513 100644 --- a/site/cleopatra/org.org +++ b/site/cleopatra/org.org @@ -9,9 +9,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 monokai-pro-theme :ensure t :defer t +(use-package github-modern-theme :ensure t :defer t :init - (load-theme 'monokai-pro t)) + (load-theme 'github-modern t)) #+END_SRC #+BEGIN_SRC emacs-lisp :tangle scripts/export-org.el @@ -97,21 +97,8 @@ INIT := --batch --load="${ROOT}/scripts/packages.el" \ #+END_SRC #+BEGIN_SRC sass :tangle site/style/org.sass -.org-src-container - @include code-block - padding-top : .1rem - padding-bottom : .1rem - -.org-src-tangled-to, .org-src-name - @include padding-centered(4rem) - -.example - @include verbatim-block - // this is hacky, but it works: no need for a padding-bottom - padding-top : 1rem - -.footdef - @include padding-centered +#text-footnotes + max-width : 35rem .footpara display: inline @@ -127,27 +114,23 @@ INIT := --batch --load="${ROOT}/scripts/packages.el" \ display: none dl - dt - font-weight: bold - dd p - margin-top: 0 + dt + font-weight: bold + dd p + margin-top: 0 .footnotes - font-size : 1rem + font-size : 1rem .org-literate-programming - padding-top : 1rem - padding-bottom : 1rem - .org-src-name - @include code-font - font-weight: bold - - .org-src-tangled-to:before - content: "\f054" - font : normal normal normal 14px/1 ForkAwesome - - .org-src-tangled-to - @include code-font - font-weight: bold - text-align: right + .org-src-tangled-to:before + content: "\f054" + font : normal normal normal 11px/1 ForkAwesome + + .org-src-tangled-to, + .org-src-name + font-family : 'Fira Code', monospace + font-size : 70% + font-weight: bold + color : #444 #+END_SRC |