css fix for some unwanted pygments thing

1 files changed, 6 insertions, 0 deletions

diff --git a/doc/build/static/docs.css b/doc/build/static/docs.css
index 2af5ba9..d40dad0 100644
--- a/doc/build/static/docs.css
+++ b/doc/build/static/docs.css
@@ -186,6 +186,12 @@ div.admonition .admonition-title {
     padding:10px 0px 10px 0px;
 }
 
+/* take out sphinx/pygments putting some kind
+of green background here... */
+.highlight {
+  background:none;
+}
+
 pre {
 	background-color: #f0f0f0;	
 	border: solid 1px #ccc;