diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-27 23:26:05 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-27 23:26:05 +0100 |
| commit | 9a0fef2277153960ce9ed6b2dea3a37c91bfc27d (patch) | |
| tree | bae585e73548ef95c29a11327a4e12527ce45449 /site/cleopatra | |
| parent | Introduce a convenient Org syntax for inline maths (diff) | |
More theme tweaking
Diffstat (limited to 'site/cleopatra')
| -rw-r--r-- | site/cleopatra/Contents/Coq.org | 1 | ||||
| -rw-r--r-- | site/cleopatra/Contents/Org.org | 3 | ||||
| -rw-r--r-- | site/cleopatra/Theme.org | 7 |
3 files changed, 10 insertions, 1 deletions
diff --git a/site/cleopatra/Contents/Coq.org b/site/cleopatra/Contents/Coq.org index 5e22fb0..893efab 100644 --- a/site/cleopatra/Contents/Coq.org +++ b/site/cleopatra/Contents/Coq.org @@ -69,6 +69,7 @@ h1, h2, h3, h4, h5, h6 color : #ff6188 .id[title="definition"], + .id[title="projection"], .id[title="theorem"], .id[title="lemma"] color : #a9dc76 diff --git a/site/cleopatra/Contents/Org.org b/site/cleopatra/Contents/Org.org index 985481b..bd107fc 100644 --- a/site/cleopatra/Contents/Org.org +++ b/site/cleopatra/Contents/Org.org @@ -159,6 +159,9 @@ dl dd p margin-top: 0 +.footnotes + font-size : 1rem + .org-literate-programming padding-top : 1rem padding-bottom : 1rem diff --git a/site/cleopatra/Theme.org b/site/cleopatra/Theme.org index 2646f44..265027b 100644 --- a/site/cleopatra/Theme.org +++ b/site/cleopatra/Theme.org @@ -126,6 +126,11 @@ $sans-serif : sans-serif $document-width : 33rem +a + color : #557de8 +a:visited + color : #40599a + @mixin padding-centered($inc: 0rem) @media screen and (min-width : $document-width) padding-left : calc(50% - #{$document-width} / 2 - #{$inc}) @@ -172,7 +177,7 @@ html, body padding : 0 width : 100% height : 100% - font-size : 120% + font-size : 115% @include text-font body |