diff options
Diffstat (limited to 'doc/_static/css/custom.css')
-rw-r--r-- | doc/_static/css/custom.css | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/doc/_static/css/custom.css b/doc/_static/css/custom.css new file mode 100644 index 0000000..e899c8f --- /dev/null +++ b/doc/_static/css/custom.css @@ -0,0 +1,31 @@ +.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, +.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; +} |