update pygments highlighting with customizations from preboot

diff --git a/docs/assets/css/pygments-manni.css b/docs/assets/css/pygments-manni.css
index 859a67320ae1daae6494ea98cac1e99abf992923..1264b87f14e7e81c18ea1d53837fbe2683d33df7 100644 (file)
--- 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; }