From 654dbb1b1018ded810561037c499f8790e5d68ea Mon Sep 17 00:00:00 2001
From: Benjamin Eberlei <kontakt@beberlei.de>
Date: Sun, 20 Feb 2011 11:34:59 +0100
Subject: [PATCH] Fix <pre> tag styling having a very small line-height.

---
 en/_static/default.css | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/en/_static/default.css b/en/_static/default.css
index a65dc8057..83d866b1b 100644
--- a/en/_static/default.css
+++ b/en/_static/default.css
@@ -306,16 +306,6 @@ p.admonition-title:after {
     content: ":";
 }
 
-pre {
-    padding: 5px;
-    background-color: #eeffcc;
-    color: #333333;
-    line-height: 120%;
-    border-left: none;
-    border-right: none;
-    margin-left: 30px;
-}
-
 tt {
     background-color: #ecf0f3;
     padding: 0 1px 0 1px;
@@ -372,7 +362,7 @@ pre
 {
   padding: 0.7em;
   background-color: #000;
-  line-height: 1.3em;
+  line-height: 1.3em !important;
   font-size: 100%;
   color: #fff;
 }