From 6959b38a343d4575efc442ea02422dc64cf59d00 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 28 Mar 2022 01:25:28 +0100 Subject: Add to documentation --- doc/_static/css/custom.css | 22 +++++++++++++++++++++- 1 file changed, 21 insertions(+), 1 deletion(-) (limited to 'doc/_static/css/custom.css') diff --git a/doc/_static/css/custom.css b/doc/_static/css/custom.css index 66a1e35..e899c8f 100644 --- a/doc/_static/css/custom.css +++ b/doc/_static/css/custom.css @@ -3,9 +3,29 @@ .alectryon-coqdoc .doc .inlinecode, .alectryon-mref, .alectryon-block, .alectryon-io, -.alectryon-toggle-label, .alectryon-banner, pre, tt, code { +.alectryon-toggle-label, .alectryon-banner, pre, tt, code, +.rst-content kbd, .rst-content pre, .rst-content samp, +.rst-content .linenodiv pre, .rst-content div[class^="highlight"] pre, .rst-content pre.literal-block { 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; + font-size: 0.9em; +} + +img { width: 100%; } +a { color: #469369; } +a:hover { color: #60b386; } + +.wy-menu-vertical header, .wy-menu-vertical p.caption { + color: #fff5db; +} + +.wy-nav-content, .wy-menu-vertical li.current > a, .wy-menu-vertical li.on a { + background-color: #fffbf2; + color: #2a3e40; +} + +.wy-side-nav-search .wy-dropdown > a, .wy-side-nav-search > a { + color: #2a3e40; } -- cgit