From 34503be27b0f52b43af67ae0e48313318989b0c0 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 19 Aug 2020 12:37:43 -0500 Subject: [PATCH] Use a color that's guaranteed to work for all scribble renderers closes #258 --- frog/frog.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frog/frog.scrbl b/frog/frog.scrbl index 336b55f9..91f0dcae 100644 --- 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)