Use a color that's guaranteed to work for all scribble renderers

closes #258
greghendershott · Aug 19, 2020 · 34503be · 34503be
1 parent b5597ab
commit 34503be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/frog/frog.scrbl b/frog/frog.scrbl
@@ -16,7 +16,7 @@
           scribble/extract)
 
 @(define (grey . contents)
-   (elem #:style (style #f (list (color-property "grey")))
+   (elem #:style (style #f (list (color-property (list 127 127 127))))
          contents))
 
 @(define (comment . contents)