Update pygments.

2018-06-23 22:54:37 -03:00 · 2018-06-23 22:54:37 -03:00 · 65cc7b24c9
commit 65cc7b24c9
parent 598e0e49b2
158 changed files with 687 additions and 102 deletions
--- a/docs/content/extra/custom.css
+++ b/docs/content/extra/custom.css
@ -1,3 +0,0 @@
-.highlight {
-    color: #f8f8f2;
-}