From 11d6215f265d0dbcfd0048819a614f318a0775a4 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 26 Mar 2022 21:08:23 +0000 Subject: Add sphinx documentation --- doc/_static/css/custom.css | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 doc/_static/css/custom.css (limited to 'doc/_static/css/custom.css') 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; +} -- cgit