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;