Use monokai-pro as the main theme and fix the CSS of Coq files

1 files changed, 44 insertions, 4 deletions

diff --git a/site/cleopatra/Contents/Coq.org b/site/cleopatra/Contents/Coq.org
index 937467e..5e22fb0 100644
--- a/site/cleopatra/Contents/Coq.org
+++ b/site/cleopatra/Contents/Coq.org
@@ -28,6 +28,16 @@ COQDOCARG := --no-index --charset utf8 --short \
 #+END_SRC
 
 #+BEGIN_SRC sass :tangle site/style/coq.sass
+@mixin patchy-centered($inc: 0rem)
+    width : 100vw
+    position: relative
+    @media screen and (min-width : $document-width)
+        padding-left : calc(50vw - #{$document-width} / 2)
+        right : calc(50vw - #{$document-width} / 2)
+    @media screen and (max-width : $document-width)
+        padding-left : 1rem
+        right : 1rem
+
 div.code
     white-space: nowrap
 
@@ -36,6 +46,13 @@ div.code
     margin-top : 1em
     margin-bottom : 1em
 
+    pre
+        @include patchy-centered
+        padding-top : 1rem
+        padding-bottom : 1rem
+        background : $bg-verbatim
+        overflow-x : auto
+
 .code
     @include padding-centered
     @include code-block
@@ -47,15 +64,38 @@ h1, h2, h3, h4, h5, h6
     .inlinecode
         font-size: 100%
 
-.code a[href]
-    text-decoration: none
+.code
+    .id[title="keyword"]
+        color : #ff6188
+
+    .id[title="definition"],
+    .id[title="theorem"],
+    .id[title="lemma"]
+        color : #a9dc76
 
-    .url-mark
-        display: none
+    .id[title="inductive"],
+    .id[title="record"],
+    .id[title="axiom"],
+    .id[title="class"]
+        color : #78dce8
+
+    .id[title="constructor"]
+        color : #ab9df2
+
+    a[href]
+        color : inherit
+        text-decoration : none
+        background : #403e41
+        padding : .05rem .15rem .05rem .15rem
+        border-radius : 15%
+
+        .url-mark
+            display: none
 
 .paragraph
     margin-top: 1em
     margin-bottom: 1em
+
 #+END_SRC
 
 # Local Variables: