summaryrefslogtreecommitdiffstats
path: root/site/cleopatra
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-07-12 10:26:48 +0200
committerThomas Letan <lthms@soap.coffee>2020-07-12 10:56:47 +0200
commitb85b9bc80bdb9b068ccfaffdfc975b8b0ba3a5de (patch)
treeff66f39ca7cfadbf997a04f242ea0abba35b4811 /site/cleopatra
parenta38a43028d05096369aa7bcec827bb6c08e3af8e (diff)
Various fixes here and there
Diffstat (limited to 'site/cleopatra')
-rw-r--r--site/cleopatra/coq.org5
-rw-r--r--site/cleopatra/soupault.org3
-rw-r--r--site/cleopatra/theme.org11
3 files changed, 13 insertions, 6 deletions
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%