2 files changed, 30 insertions, 15 deletions
diff --git a/site/cleopatra/Contents/Coq.org b/site/cleopatra/Contents/Coq.org
index a792ef9..937467e 100644
--- a/site/cleopatra/Contents/Coq.org
+++ b/site/cleopatra/Contents/Coq.org
@@ -30,13 +30,22 @@ COQDOCARG := --no-index --charset utf8 --short \
 #+BEGIN_SRC sass :tangle site/style/coq.sass
 div.code
     white-space: nowrap
-    overflow-x: auto
-    scrollbar-width: thin
 
-pre
-    padding: .3em 0 .3em 0
-    overflow-x: auto
-    scrollbar-width: thin
+.doc
+    @include padding-centered
+    margin-top : 1em
+    margin-bottom : 1em
+
+.code
+    @include padding-centered
+    @include code-block
+
+.inlinecode
+    @include code-font
+
+h1, h2, h3, h4, h5, h6
+    .inlinecode
+        font-size: 100%
 
 .code a[href]
     text-decoration: none
diff --git a/site/cleopatra/Contents/Org.org b/site/cleopatra/Contents/Org.org
index 8320ca1..2eac322 100644
--- a/site/cleopatra/Contents/Org.org
+++ b/site/cleopatra/Contents/Org.org
@@ -119,6 +119,17 @@ INIT := --batch --load="${ROOT}/scripts/packages.el" \
 #+END_SRC
 
 #+BEGIN_SRC sass :tangle site/style/org.sass
+.org-src-container
+    @include code-block
+    padding-top : .1rem
+    padding-bottom : .1rem
+
+.org-src-tangled-to, .org-src-name
+    @include padding-centered(4rem)
+
+.footdef
+    @include padding-centered
+
 .footpara
     display: inline
     margin-left: .2em
@@ -132,11 +143,6 @@ INIT := --batch --load="${ROOT}/scripts/packages.el" \
 .section-number-6
     display: none
 
-.org-src-container
-    width: 100%
-    overflow-x: auto
-    scrollbar-width: thin
-
 dl
   dt
     font-weight: bold
@@ -144,17 +150,17 @@ dl
     margin-top: 0
 
 .org-literate-programming
+  padding-top : 1rem
+  padding-bottom : 1rem
   .org-src-name
-    font-family: 'Fira Code', monospace
+    @include code-font
     font-weight: bold
-    font-size: 80%
 
   .org-src-tangled-to:before
     content: "⮩"
 
   .org-src-tangled-to
-    font-family: 'Fira Code', monospace
+    @include code-font
     font-weight: bold
-    font-size: 80%
     text-align: right
 #+END_SRC