CSS workaround for Pygments bug (Python 3 can too lex Unicode variables)

diff --git a/theme/static/css/pygment.css b/theme/static/css/pygment.css
index 594b0fa..bd928bc 100644 (file)
--- a/theme/static/css/pygment.css
+++ b/theme/static/css/pygment.css
@@ -6,7 +6,11 @@ color:#408090;
 font-style:italic;
 }
 .err {
 font-style:italic;
 }
 .err {

-border:1px solid #FF0000;
+    /* Pygments (https://bitbucket.org/birkenfeld/pygments-main/) is counting */
+    /* Greek letters as an error?! I may want to write a patch for this and   */
+    /* email it upstream (or create a Bitbucket account if I really have to). */
+    /* In the meantime, don't style it. */
+    /* border:1px solid #FF0000; */

 }
 .k {
 color:#007020;
 }
 .k {
 color:#007020;