From 7be58938a53284db1eeae95a4024738290571dd6 Mon Sep 17 00:00:00 2001 From: Mikael Simberg Date: Fri, 1 Nov 2024 14:29:09 +0100 Subject: [PATCH] Simplify custom css file used in documentation --- docs/_static/pika.css | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/docs/_static/pika.css b/docs/_static/pika.css index 3b72efe3a..c2ed91956 100644 --- a/docs/_static/pika.css +++ b/docs/_static/pika.css @@ -4,13 +4,11 @@ /* file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) */ .md-typeset h1 { - color: black; font-weight: 700; margin: 1em 0 0 0; } .md-typeset h2 { - color: black; font-weight: 500; margin: 1em 0 0 0; } @@ -22,19 +20,3 @@ .md-typeset ul li p { margin: 0 0; } - -.pre { - font-family: monospace; -} - -.md-header-nav__topic { - font-weight: bold; -} - -.md-typeset .headerlink { - opacity: 1; -} - -.sig { - font-weight: bold; -}