From 597d3415c46356d8c44b276766fe74ec131e6cd5 Mon Sep 17 00:00:00 2001 From: mmcky Date: Mon, 22 Jul 2024 10:01:04 +1000 Subject: [PATCH] ENH: reconfigure css style --- sphinx_proof/_static/minimal/proof.css | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/sphinx_proof/_static/minimal/proof.css b/sphinx_proof/_static/minimal/proof.css index 16c552e..6a31ea6 100644 --- a/sphinx_proof/_static/minimal/proof.css +++ b/sphinx_proof/_static/minimal/proof.css @@ -113,10 +113,9 @@ div.definition p.admonition-title { div.remark { border-color: var(--remark-border-color); background-color: none; -} - -div.remark p.admonition-title { - background-color: transparent; + p.admonition-title { + background-color: transparent; + } } /*********************************************