diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-26 21:08:23 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-26 21:08:23 +0000 |
commit | 11d6215f265d0dbcfd0048819a614f318a0775a4 (patch) | |
tree | 16b0450e4df7caaed57400d503044ca92f1f3c38 /doc/_static/css | |
parent | a5b8a41ef22618c69db62dfeb71d7f38bbba34e2 (diff) | |
download | vericert-11d6215f265d0dbcfd0048819a614f318a0775a4.tar.gz vericert-11d6215f265d0dbcfd0048819a614f318a0775a4.zip |
Add sphinx documentation
Diffstat (limited to 'doc/_static/css')
-rw-r--r-- | doc/_static/css/custom.css | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/_static/css/custom.css b/doc/_static/css/custom.css new file mode 100644 index 0000000..66a1e35 --- /dev/null +++ b/doc/_static/css/custom.css @@ -0,0 +1,11 @@ +.alectryon-coqdoc .doc .code, +.alectryon-coqdoc .doc .comment, +.alectryon-coqdoc .doc .inlinecode, +.alectryon-mref, +.alectryon-block, .alectryon-io, +.alectryon-toggle-label, .alectryon-banner, pre, tt, code { + font-family: 'Iosevka Fixed Slab', 'Iosevka Slab Web', 'Iosevka Web', 'Iosevka Slab', + 'Iosevka', 'Fira Code', monospace; + font-feature-settings: "COQX" 1 /* Coq ligatures */, "XV00" 1 /* Legacy */, "calt" 1 /* Fallback */; + line-height: initial; +} |