From b85b9bc80bdb9b068ccfaffdfc975b8b0ba3a5de Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sun, 12 Jul 2020 10:26:48 +0200
Subject: Various fixes here and there

---
 site/cleopatra/coq.org      |  5 +++++
 site/cleopatra/soupault.org |  3 ++-
 site/cleopatra/theme.org    | 11 ++++++-----
 3 files changed, 13 insertions(+), 6 deletions(-)

(limited to 'site/cleopatra')

diff --git a/site/cleopatra/coq.org b/site/cleopatra/coq.org
index a657fcf..51b0ecb 100644
--- a/site/cleopatra/coq.org
+++ b/site/cleopatra/coq.org
@@ -41,6 +41,11 @@ COQDOCARG := --no-index --charset utf8 --short \
 div.code
     white-space: nowrap
 
+.coq-text-block
+    @include patchy-centered
+    padding-top: 1rem
+    padding-bottom: 1rem
+
 .doc
     @include padding-centered
     margin-top : 1em
diff --git a/site/cleopatra/soupault.org b/site/cleopatra/soupault.org
index dd90daf..04aec1f 100644
--- a/site/cleopatra/soupault.org
+++ b/site/cleopatra/soupault.org
@@ -125,6 +125,7 @@ contains a node matching a given ~selector~ (in the case of this document,
 widget = "toc"
 selector = "#generate-toc"
 action = "replace_element"
+valid_html = true
 min_level = 2
 numbered_list = true
 #+END_SRC
@@ -492,7 +493,7 @@ use to collect our initial history is
 
 #+NAME: git-log
 #+BEGIN_SRC bash :noweb no-export
-_git log --follow --pretty=format:'<<pretty-format>>' "${file}"
+_git log -n4 --follow --pretty=format:'<<pretty-format>>' "${file}"
 #+END_SRC
 
 To manipulate JSON, we rely on three operators (yet to be defined):
diff --git a/site/cleopatra/theme.org b/site/cleopatra/theme.org
index 3bba6b7..c7b0145 100644
--- a/site/cleopatra/theme.org
+++ b/site/cleopatra/theme.org
@@ -12,7 +12,7 @@ theme-build : ${SASS}
 
 soupault-build : theme-build
 
-ARTIFACTS += ${CSS} ${SASS}
+ARTIFACTS += ${CSS}
 #+END_SRC
 
 * Main HTML Template
@@ -121,7 +121,7 @@ $remark-fg: #4d575e
 
 $sans-serif : sans-serif
 
-$document-width : 33rem
+$document-width : 38rem
 
 a
     color : #557de8
@@ -145,7 +145,7 @@ a:visited
         margin-right : 1rem
 
 @mixin text-font
-    font-family : et-book, serif
+    font-family : serif
 
 @mixin code-font($size : .9rem)
     font-family: 'Fira Code', monospace
@@ -223,8 +223,9 @@ body#default
         h1
             text-align: center
 
-        h1, h2, h3, h4, h5, h6
-            font-family : $sans-serif
+        h2, h3, h4, h5, h6
+            font-style: italic
+
 
             code, tt
                 font-size: 100%
-- 
cgit v1.2.3