tinker with Pygments colors

The default Pygments theme was greenish overall, which is off-theme;
this makes it more pink-and-purplish (surely not an optimal palette,
but a low-hanging improvement during fifteen minutes of not being
brave enough to actually write).

diff --git a/theme/static/css/pygment.css b/theme/static/css/pygment.css
index bd928bc..8ac4bde 100644 (file)
--- a/theme/static/css/pygment.css
+++ b/theme/static/css/pygment.css
@@ -13,7 +13,7 @@ font-style:italic;
     /* border:1px solid #FF0000; */
 }
 .k {
-color:#007020;
+color:#601070;
 font-weight:bold;
 }
 .o {
@@ -24,10 +24,10 @@ color:#408090;
 font-style:italic;
 }
 .cp {
-color:#007020;
+color:#601070;
 }
 .c1 {
-color:#408090;
+color:#404090;
 font-style:italic;
 }
 .cs {
@@ -68,22 +68,22 @@ font-weight:bold;
 color:#0040D0;
 }
 .kc {
-color:#007020;
+color:#601070;
 font-weight:bold;
 }
 .kd {
-color:#007020;
+color:#601070;
 font-weight:bold;
 }
 .kn {
-color:#007020;
+color:#601070;
 font-weight:bold;
 }
 .kp {
-color:#007020;
+color:#601070;
 }
 .kr {
-color:#007020;
+color:#601070;
 font-weight:bold;
 }
 .kt {
@@ -99,7 +99,7 @@ color:#4070A0;
 color:#4070A0;
 }
 .nb {
-color:#007020;
+color:#601070;
 }
 .nc {
 color:#0E84B5;
@@ -117,10 +117,10 @@ color:#D55537;
 font-weight:bold;
 }
 .ne {
-color:#007020;
+color:#601070;
 }
 .nf {
-color:#06287E;
+color:#872860;
 }
 .nl {
 color:#002070;
@@ -138,43 +138,43 @@ font-weight:bold;
 color:#BB60D5;
 }
 .ow {
-color:#007020;
+color:#601070;
 font-weight:bold;
 }
 .w {
 color:#BBBBBB;
 }
 .mf {
-color:#208050;
+    color:#0E84B5;
 }
 .mh {
-color:#208050;
+    color:#0E84B5;
 }
 .mi {
-color:#208050;
+    color:#0E84B5;
 }
 .mo {
-color:#208050;
+    color:#0E84B5;
 }
 .sb {
-color:#4070A0;
+color:#A04070;
 }
 .sc {
-color:#4070A0;
+color:#A04070;
 }
 .sd {
-color:#4070A0;
+color:#A04070;
 font-style:italic;
 }
 .s2 {
-color:#4070A0;
+color:#A04070;
 }
 .se {
-color:#4070A0;
+color:#A04070;
 font-weight:bold;
 }
 .sh {
-color:#4070A0;
+color:#A04070;
 }
 .si {
 color:#70A0D0;
@@ -187,13 +187,13 @@ color:#C65D09;
 color:#235388;
 }
 .s1 {
-color:#4070A0;
+color:#A04070;
 }
 .ss {
 color:#517918;
 }
 .bp {
-color:#007020;
+color:#601070;
 }
 .vc {
 color:#BB60D5;