From c063aa556af5521b43fc2a457b988c2927b35e3e Mon Sep 17 00:00:00 2001
From: Matthew Butterick <mb@mbtype.com>
Date: Thu, 11 Sep 2014 18:28:46 -0700
Subject: [PATCH] add credit to pygments css

---
 highlight.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/highlight.rkt b/highlight.rkt
index 553240c..fe62af8 100644
--- a/highlight.rkt
+++ b/highlight.rkt
@@ -127,6 +127,7 @@ if zero is False:
               [else (default code)])))
   result)
 
+/* Other CSS options available from http://richleland.github.io/pygments-css/ */
 
 (define (make-highlight-css) '(style ((type "text/css")) 
 ".highlight .hll { background-color: #ffffcc }