summaryrefslogtreecommitdiffstats
path: root/site
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-12-12 09:15:27 +0100
committerThomas Letan <lthms@soap.coffee>2020-12-12 09:15:27 +0100
commitb340096f7c9b91e40d76891f2639803580dd3645 (patch)
tree27f54b27872cc6513b998c0d06cff32f581755fc /site
parentcoq-coqffi.1.0.0~beta2 has been released (diff)
Use Spectral Regular
Diffstat (limited to 'site')
-rw-r--r--site/cleopatra/org.org2
-rw-r--r--site/cleopatra/theme.org8
2 files changed, 7 insertions, 3 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
diff --git a/site/cleopatra/theme.org b/site/cleopatra/theme.org
index 25818db..3ea9d56 100644
--- a/site/cleopatra/theme.org
+++ b/site/cleopatra/theme.org
@@ -63,6 +63,8 @@ noscript.parentNode.removeChild(noscript);
rel="stylesheet">
<link href="https://soap.coffee/+vendors/Spectral/extra-light.css"
rel="stylesheet">
+ <link href="https://soap.coffee/+vendors/Spectral/regular.css"
+ rel="stylesheet">
</noscript>
#+END_SRC
@@ -140,6 +142,7 @@ html
width : 100%
height : 100%
font-size : 110%
+ font-weight : 200
a
color : #0c0016
@@ -172,7 +175,7 @@ main h3,
main h4,
main h5,
main h6
- font-weight : bold
+ font-weight : 400
color : #0c0016
header a,
@@ -186,6 +189,9 @@ main
dl dd
margin-left : 0
+ dl dt
+ font-weight : 400
+
dl dt:not(:first-child)
padding-top : .5rem