summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--site/cleopatra/Bootstrap.org2
-rw-r--r--site/cleopatra/Contents/Coq.org8
-rw-r--r--site/cleopatra/Contents/Org.org5
3 files changed, 13 insertions, 2 deletions
diff --git a/site/cleopatra/Bootstrap.org b/site/cleopatra/Bootstrap.org
index 8171a1d..e1e7902 100644
--- a/site/cleopatra/Bootstrap.org
+++ b/site/cleopatra/Bootstrap.org
@@ -65,7 +65,7 @@ In a nutshell,
instead of, /e.g./,
#+BEGIN_SRC org
- #+BEGIN_SRC makefile :tangle ../../../Makefile :noweb tangle
+ #+BEGIN_SRC makefile :tangle ../../Makefile :noweb tangle
#+END_SRC
- ~CLEODIR~ ::
diff --git a/site/cleopatra/Contents/Coq.org b/site/cleopatra/Contents/Coq.org
index 1a73d00..e910058 100644
--- a/site/cleopatra/Contents/Coq.org
+++ b/site/cleopatra/Contents/Coq.org
@@ -23,7 +23,13 @@ COQDOCARG := --no-index --charset utf8 --short \
#+BEGIN_SRC sass :tangle site/style/coq.sass
div.code
white-space: nowrap
- overflow-x: visible
+ overflow-x: auto
+ scrollbar-width: thin
+
+pre
+ padding: .3em 0 .3em 0
+ overflow-x: auto
+ scrollbar-width: thin
.code a[href]
text-decoration: none
diff --git a/site/cleopatra/Contents/Org.org b/site/cleopatra/Contents/Org.org
index 7dc368c..d46244f 100644
--- a/site/cleopatra/Contents/Org.org
+++ b/site/cleopatra/Contents/Org.org
@@ -82,6 +82,11 @@ GENAUX += .emacs emacs.d/
.section-number-2:after, .section-number-3:after, .section-number-4:after
content: ". "
+.org-src-container
+ width: 100%
+ x-overflow: auto
+ scrollbar-width: thin
+
dl dt
font-weight: bold
dl dd p