From 8a9c125ed428602865d58fd36492f2ea8f1f2f0a Mon Sep 17 00:00:00 2001 From: Mike Bayer Date: Fri, 25 Nov 2011 15:01:57 -0500 Subject: [PATCH] add an extra style to help with patches --- doc/build/static/docs.css | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/build/static/docs.css b/doc/build/static/docs.css index 5677a046a8..e338590ad4 100644 --- a/doc/build/static/docs.css +++ b/doc/build/static/docs.css @@ -250,7 +250,6 @@ div#dialect-documentation { .highlight { background:none; } - pre { background-color: #f0f0f0; border: solid 1px #ccc; @@ -300,10 +299,11 @@ th.field-name { text-align:right; } -div.note, div.warning, p.deprecated { +div.note, div.warning, p.deprecated, div.topic { background-color:#EEFFEF; } + div.admonition, div.topic, p.deprecated { border:1px solid #CCCCCC; margin:5px 5px 5px 5px; @@ -315,7 +315,7 @@ div.warning .admonition-title { color:#FF0000; } -div.admonition .admonition-title { +div.admonition .admonition-title, div.topic .topic-title { font-weight:bold; } -- 2.47.3