From 9a0fef2277153960ce9ed6b2dea3a37c91bfc27d Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Thu, 27 Feb 2020 23:26:05 +0100
Subject: More theme tweaking

---
 site/cleopatra/Contents/Coq.org | 1 +
 site/cleopatra/Contents/Org.org | 3 +++
 site/cleopatra/Theme.org        | 7 ++++++-
 3 files changed, 10 insertions(+), 1 deletion(-)

(limited to 'site/cleopatra')

diff --git a/site/cleopatra/Contents/Coq.org b/site/cleopatra/Contents/Coq.org
index 5e22fb0..893efab 100644
--- a/site/cleopatra/Contents/Coq.org
+++ b/site/cleopatra/Contents/Coq.org
@@ -69,6 +69,7 @@ h1, h2, h3, h4, h5, h6
         color : #ff6188
 
     .id[title="definition"],
+    .id[title="projection"],
     .id[title="theorem"],
     .id[title="lemma"]
         color : #a9dc76
diff --git a/site/cleopatra/Contents/Org.org b/site/cleopatra/Contents/Org.org
index 985481b..bd107fc 100644
--- a/site/cleopatra/Contents/Org.org
+++ b/site/cleopatra/Contents/Org.org
@@ -159,6 +159,9 @@ dl
   dd p
     margin-top: 0
 
+.footnotes
+  font-size : 1rem
+
 .org-literate-programming
   padding-top : 1rem
   padding-bottom : 1rem
diff --git a/site/cleopatra/Theme.org b/site/cleopatra/Theme.org
index 2646f44..265027b 100644
--- a/site/cleopatra/Theme.org
+++ b/site/cleopatra/Theme.org
@@ -126,6 +126,11 @@ $sans-serif : sans-serif
 
 $document-width : 33rem
 
+a
+    color : #557de8
+a:visited
+    color : #40599a
+
 @mixin padding-centered($inc: 0rem)
     @media screen and (min-width : $document-width)
         padding-left : calc(50% - #{$document-width} / 2 - #{$inc})
@@ -172,7 +177,7 @@ html, body
     padding : 0
     width : 100%
     height : 100%
-    font-size : 120%
+    font-size : 115%
     @include text-font
 
 body
-- 
cgit v1.2.3