ubuntu-packaging-guide-team team mailing list archive
-
ubuntu-packaging-guide-team team
-
Mailing list archive
-
Message #01206
[Merge] lp:~mitya57/ubuntu-packaging-guide/pygments-fix into lp:ubuntu-packaging-guide
Dmitry Shachnev has proposed merging lp:~mitya57/ubuntu-packaging-guide/pygments-fix into lp:ubuntu-packaging-guide.
Requested reviews:
Ubuntu Packaging Guide Team (ubuntu-packaging-guide-team)
For more details, see:
https://code.launchpad.net/~mitya57/ubuntu-packaging-guide/pygments-fix/+merge/131443
No big changes, just one-line fix that improves look of highlighted code.
--
https://code.launchpad.net/~mitya57/ubuntu-packaging-guide/pygments-fix/+merge/131443
Your team Ubuntu Packaging Guide Team is requested to review the proposed merge of lp:~mitya57/ubuntu-packaging-guide/pygments-fix into lp:ubuntu-packaging-guide.
=== modified file 'themes/ubuntu/static/pygments.css'
--- themes/ubuntu/static/pygments.css 2012-07-31 09:07:47 +0000
+++ themes/ubuntu/static/pygments.css 2012-10-25 15:57:26 +0000
@@ -1,5 +1,4 @@
.highlight .hll { background-color: #ffffcc }
-.highlight { background: #f8f8f8; }
.highlight .c { color: #408080; font-style: italic } /* Comment */
.highlight .err { border: 1px solid #FF0000 } /* Error */
.highlight .k { color: #008000; font-weight: bold } /* Keyword */
Follow ups