Make border none important

ddeboer · ddeboer · commit 0cbf292552e8 · 2014-11-14T14:59:28.000+01:00
diff --git a/doc/_static/tabs.css b/doc/_static/tabs.css
@@ -26,7 +26,7 @@ div.configuration-block ul.simple li.selected a {
 }
 
 div.highlight-varnish3, div.highlight-varnish4 {
-    border: none;
+    border: none !important;
 }
 
 div.configuration-block em {

Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,7 @@ div.configuration-block ul.simple li.selected a {`
`26`	`26`	`}`
`27`	`27`
`28`	`28`	`div.highlight-varnish3, div.highlight-varnish4 {`
`29`		`- border: none;`
	`29`	`+ border: none !important;`
`30`	`30`	`}`
`31`	`31`
`32`	`32`	`div.configuration-block em {`