diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-12-12 09:15:27 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-12-12 09:15:27 +0100 |
commit | b340096f7c9b91e40d76891f2639803580dd3645 (patch) | |
tree | 27f54b27872cc6513b998c0d06cff32f581755fc /site/cleopatra/org.org | |
parent | coq-coqffi.1.0.0~beta2 has been released (diff) |
Use Spectral Regular
Diffstat (limited to 'site/cleopatra/org.org')
-rw-r--r-- | site/cleopatra/org.org | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/site/cleopatra/org.org b/site/cleopatra/org.org index 9c2728b..c14ebd5 100644 --- a/site/cleopatra/org.org +++ b/site/cleopatra/org.org @@ -90,8 +90,6 @@ INIT := --batch --load="${ROOT}/scripts/packages.el" \ display: none dl - dt - font-weight: bold dd p margin-top: 0 |