add an extra style to help with patches

diff --git a/doc/build/static/docs.css b/doc/build/static/docs.css
index 5677a046a87f61deade78c76fa629ad2e7bb1ed8..e338590ad4327d713f32e1ff207fe20ed4674e68 100644 (file)
--- 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;
 }