← Back to team overview

ubuntu-packaging-guide-team team mailing list archive

[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