From f8c2065b352f0e9e18a8f9dd15ca0004d33f77e5 Mon Sep 17 00:00:00 2001 From: Timon de Groot Date: Mon, 26 Feb 2024 12:06:00 +0100 Subject: [PATCH] docs/static: Change pygments block prompt color The prompt of a console snippet should be more distinctive for readability purposes. --- docs/_static/pygments.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_static/pygments.css b/docs/_static/pygments.css index e96bc573..8b1635e5 100644 --- a/docs/_static/pygments.css +++ b/docs/_static/pygments.css @@ -20,7 +20,7 @@ .highlight .gh { color: #ffffff !important; } /* Generic.Heading */ .highlight .gi { color: #589819 !important; } /* Generic.Inserted */ .highlight .go { color: #cccccc !important; } /* Generic.Output */ -.highlight .gp { color: #aaaaaa !important; } /* Generic.Prompt */ +.highlight .gp { color: #80da10 !important; } /* Generic.Prompt */ .highlight .gs { color: #d0d0d0 !important; } /* Generic.Strong */ .highlight .gu { color: #ffffff !important; } /* Generic.Subheading */ .highlight .gt { color: #d22323 !important; } /* Generic.Traceback */