diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-05 21:50:12 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-05 21:50:12 +0100 |
commit | fc5aed134f5e1711bef7ef68a271d383cb86ba2c (patch) | |
tree | b4a75c80dfca53fd0f30d2d22bf773a92ee85332 /site/style | |
parent | Fix link to locally defined terms in coqdoc output (diff) |
Various theme tweaking
Diffstat (limited to 'site/style')
-rw-r--r-- | site/style/main.css | 20 |
1 files changed, 6 insertions, 14 deletions
diff --git a/site/style/main.css b/site/style/main.css index 2f405e2..b640071 100644 --- a/site/style/main.css +++ b/site/style/main.css @@ -37,8 +37,9 @@ body#default { /* coqdoc output */ -body#default .code, code, pre { +body#default .code, code, pre, .inlinecode { font-family: 'Fira Code', monospace; + font-size: 75%; } body#default div.code { @@ -54,7 +55,6 @@ body#default .code a[href] { } body#default .doc { - margin: auto; } body#default .paragraph { @@ -71,20 +71,12 @@ body#default .paragraph { /* index */ -dl#index { - padding-top: 2em; - padding-bottom: 2em; +ul#index { + padding-left: 20px; } -dl#index dd { - margin-top: .2em; - font-size: 80%; - margin-left: 0px; - margin-bottom: 1em; -} - -ul#index .title { - +ul#index .date { + font-size: 75%; } /* VCARD (index.html) */ |