From f77dc548a1a4abc03fc1547f9b1a2a6a38a359f8 Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Sat, 16 Mar 2013 12:07:00 -0700
Subject: [PATCH] update pygments highlighting with customizations from preboot
---
docs/assets/css/pygments-manni.css | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/docs/assets/css/pygments-manni.css b/docs/assets/css/pygments-manni.css
index 859a67320a..1264b87f14 100644
--- a/docs/assets/css/pygments-manni.css
+++ b/docs/assets/css/pygments-manni.css
@@ -1,5 +1,5 @@
.hll { background-color: #ffffcc }
- { background: #f0f3f3; }
+ /*{ background: #f0f3f3; }*/
.c { color: #999; } /* Comment */
.err { color: #AA0000; background-color: #FFAAAA } /* Error */
.k { color: #006699; } /* Keyword */
@@ -59,4 +59,8 @@
.vc { color: #003333 } /* Name.Variable.Class */
.vg { color: #003333 } /* Name.Variable.Global */
.vi { color: #003333 } /* Name.Variable.Instance */
-.il { color: #FF6600 } /* Literal.Number.Integer.Long */
\ No newline at end of file
+.il { color: #FF6600 } /* Literal.Number.Integer.Long */
+
+.css .o,
+.css .o + .nt,
+.css .nt + .nt { color: #999; }
--
GitLab