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 {
     /* border:1px solid #FF0000; */
 }
 .k {

-color:#007020;
+color:#601070;

 font-weight:bold;
 }
 .o {
 font-weight:bold;
 }
 .o {


@@ -24,10 +24,10 @@ color:#408090;
 font-style:italic;
 }
 .cp {
 font-style:italic;
 }
 .cp {

-color:#007020;
+color:#601070;

 }
 .c1 {
 }
 .c1 {

-color:#408090;
+color:#404090;

 font-style:italic;
 }
 .cs {
 font-style:italic;
 }
 .cs {


@@ -68,22 +68,22 @@ font-weight:bold;
 color:#0040D0;
 }
 .kc {
 color:#0040D0;
 }
 .kc {

-color:#007020;
+color:#601070;

 font-weight:bold;
 }
 .kd {
 font-weight:bold;
 }
 .kd {

-color:#007020;
+color:#601070;

 font-weight:bold;
 }
 .kn {
 font-weight:bold;
 }
 .kn {

-color:#007020;
+color:#601070;

 font-weight:bold;
 }
 .kp {
 font-weight:bold;
 }
 .kp {

-color:#007020;
+color:#601070;

 }
 .kr {
 }
 .kr {

-color:#007020;
+color:#601070;

 font-weight:bold;
 }
 .kt {
 font-weight:bold;
 }
 .kt {


@@ -99,7 +99,7 @@ color:#4070A0;
 color:#4070A0;
 }
 .nb {
 color:#4070A0;
 }
 .nb {

-color:#007020;
+color:#601070;

 }
 .nc {
 color:#0E84B5;
 }
 .nc {
 color:#0E84B5;


@@ -117,10 +117,10 @@ color:#D55537;
 font-weight:bold;
 }
 .ne {
 font-weight:bold;
 }
 .ne {

-color:#007020;
+color:#601070;

 }
 .nf {
 }
 .nf {

-color:#06287E;
+color:#872860;

 }
 .nl {
 color:#002070;
 }
 .nl {
 color:#002070;


@@ -138,43 +138,43 @@ font-weight:bold;
 color:#BB60D5;
 }
 .ow {
 color:#BB60D5;
 }
 .ow {

-color:#007020;
+color:#601070;

 font-weight:bold;
 }
 .w {
 color:#BBBBBB;
 }
 .mf {
 font-weight:bold;
 }
 .w {
 color:#BBBBBB;
 }
 .mf {

-color:#208050;
+    color:#0E84B5;

 }
 .mh {
 }
 .mh {

-color:#208050;
+    color:#0E84B5;

 }
 .mi {
 }
 .mi {

-color:#208050;
+    color:#0E84B5;

 }
 .mo {
 }
 .mo {

-color:#208050;
+    color:#0E84B5;

 }
 .sb {
 }
 .sb {

-color:#4070A0;
+color:#A04070;

 }
 .sc {
 }
 .sc {

-color:#4070A0;
+color:#A04070;

 }
 .sd {
 }
 .sd {

-color:#4070A0;
+color:#A04070;

 font-style:italic;
 }
 .s2 {
 font-style:italic;
 }
 .s2 {

-color:#4070A0;
+color:#A04070;

 }
 .se {
 }
 .se {

-color:#4070A0;
+color:#A04070;

 font-weight:bold;
 }
 .sh {
 font-weight:bold;
 }
 .sh {

-color:#4070A0;
+color:#A04070;

 }
 .si {
 color:#70A0D0;
 }
 .si {
 color:#70A0D0;


@@ -187,13 +187,13 @@ color:#C65D09;
 color:#235388;
 }
 .s1 {
 color:#235388;
 }
 .s1 {

-color:#4070A0;
+color:#A04070;

 }
 .ss {
 color:#517918;
 }
 .bp {
 }
 .ss {
 color:#517918;
 }
 .bp {

-color:#007020;
+color:#601070;

 }
 .vc {
 color:#BB60D5;
 }
 .vc {
 color:#BB60D5;