DOC: Remove duplicate "pre" formatting.

2026-07-10 03:46:51 +08:00 · 2012-02-05 02:28:27 -05:00
parent 6fe3996fda
commit 05b291fb3a
2 changed files with 2 additions and 6 deletions
@@ -113,11 +113,6 @@ img {
  border: 0;
 }

-pre {
-  background-color: #EEE;
-  padding: 0.5em;
-}
-
 div.admonition {
  margin-top: 10px;
  margin-bottom: 10px;
@@ -579,7 +574,7 @@ p.admonition-title:after {
 }

 pre {
-    padding: 5px;
+    padding: 1em;
    background-color: {{ theme_codebgcolor }};
    color: {{ theme_codetextcolor }};
    line-height: 120%;
@@ -15,4 +15,5 @@ linkcolor = #FC852B
 headercolor1 = #555
 headercolor2 = #555
 headerlinkcolor = #fcaf3e
+codebgcolor = #EEE
 textalign = justify