diff --git a/collects/redex/tests/bmps-macosx/extended-language.png b/collects/redex/tests/bmps-macosx/extended-language.png index bb250ed924..fd1c5570a7 100644 Binary files a/collects/redex/tests/bmps-macosx/extended-language.png and b/collects/redex/tests/bmps-macosx/extended-language.png differ diff --git a/collects/redex/tests/bmps-macosx/extended-reduction-relation.png b/collects/redex/tests/bmps-macosx/extended-reduction-relation.png index 8e90639641..b9559bc052 100644 Binary files a/collects/redex/tests/bmps-macosx/extended-reduction-relation.png and b/collects/redex/tests/bmps-macosx/extended-reduction-relation.png differ diff --git a/collects/redex/tests/bmps-macosx/holes.png b/collects/redex/tests/bmps-macosx/holes.png index a8ba8acb6b..35acac535c 100644 Binary files a/collects/redex/tests/bmps-macosx/holes.png and b/collects/redex/tests/bmps-macosx/holes.png differ diff --git a/collects/redex/tests/bmps-macosx/judgment-form-examples.png b/collects/redex/tests/bmps-macosx/judgment-form-examples.png index 5799374490..f9ed653766 100644 Binary files a/collects/redex/tests/bmps-macosx/judgment-form-examples.png and b/collects/redex/tests/bmps-macosx/judgment-form-examples.png differ diff --git a/collects/redex/tests/bmps-macosx/language-nox.png b/collects/redex/tests/bmps-macosx/language-nox.png index 183da1e952..15f2a08f09 100644 Binary files a/collects/redex/tests/bmps-macosx/language-nox.png and b/collects/redex/tests/bmps-macosx/language-nox.png differ diff --git a/collects/redex/tests/bmps-macosx/language.png b/collects/redex/tests/bmps-macosx/language.png index feb2214103..132232edc3 100644 Binary files a/collects/redex/tests/bmps-macosx/language.png and b/collects/redex/tests/bmps-macosx/language.png differ diff --git a/collects/redex/tests/bmps-macosx/lw.png b/collects/redex/tests/bmps-macosx/lw.png index 10c43c88f8..34a332e4e1 100644 Binary files a/collects/redex/tests/bmps-macosx/lw.png and b/collects/redex/tests/bmps-macosx/lw.png differ diff --git a/collects/redex/tests/bmps-macosx/metafunction-Name-vertical.png b/collects/redex/tests/bmps-macosx/metafunction-Name-vertical.png index 31c61a6a71..74bea85a8e 100644 Binary files a/collects/redex/tests/bmps-macosx/metafunction-Name-vertical.png and b/collects/redex/tests/bmps-macosx/metafunction-Name-vertical.png differ diff --git a/collects/redex/tests/bmps-macosx/metafunction-Name.png b/collects/redex/tests/bmps-macosx/metafunction-Name.png index d54f35ae93..5a62209cbf 100644 Binary files a/collects/redex/tests/bmps-macosx/metafunction-Name.png and b/collects/redex/tests/bmps-macosx/metafunction-Name.png differ diff --git a/collects/redex/tests/bmps-macosx/metafunction-T.png b/collects/redex/tests/bmps-macosx/metafunction-T.png index f3e5f2c345..1f5924445b 100644 Binary files a/collects/redex/tests/bmps-macosx/metafunction-T.png and b/collects/redex/tests/bmps-macosx/metafunction-T.png differ diff --git a/collects/redex/tests/bmps-macosx/metafunction-TL.png b/collects/redex/tests/bmps-macosx/metafunction-TL.png index 93259f0be6..7abbc49374 100644 Binary files a/collects/redex/tests/bmps-macosx/metafunction-TL.png and b/collects/redex/tests/bmps-macosx/metafunction-TL.png differ diff --git a/collects/redex/tests/bmps-macosx/metafunction-judgment-holds.png b/collects/redex/tests/bmps-macosx/metafunction-judgment-holds.png index 4ed57192e0..19fc4dcf3e 100644 Binary files a/collects/redex/tests/bmps-macosx/metafunction-judgment-holds.png and b/collects/redex/tests/bmps-macosx/metafunction-judgment-holds.png differ diff --git a/collects/redex/tests/bmps-macosx/metafunction-multi-arg.png b/collects/redex/tests/bmps-macosx/metafunction-multi-arg.png index 4d18949b70..83ca436155 100644 Binary files a/collects/redex/tests/bmps-macosx/metafunction-multi-arg.png and b/collects/redex/tests/bmps-macosx/metafunction-multi-arg.png differ diff --git a/collects/redex/tests/bmps-macosx/metafunction-subst.png b/collects/redex/tests/bmps-macosx/metafunction-subst.png index 8cfddb4fcd..5326043ca6 100644 Binary files a/collects/redex/tests/bmps-macosx/metafunction-subst.png and b/collects/redex/tests/bmps-macosx/metafunction-subst.png differ diff --git a/collects/redex/tests/bmps-macosx/metafunction.png b/collects/redex/tests/bmps-macosx/metafunction.png index 8a6c54eeee..8896d84989 100644 Binary files a/collects/redex/tests/bmps-macosx/metafunction.png and b/collects/redex/tests/bmps-macosx/metafunction.png differ diff --git a/collects/redex/tests/bmps-macosx/metafunctions-multiple.png b/collects/redex/tests/bmps-macosx/metafunctions-multiple.png index 577cd5ea5a..797e230f1f 100644 Binary files a/collects/redex/tests/bmps-macosx/metafunctions-multiple.png and b/collects/redex/tests/bmps-macosx/metafunctions-multiple.png differ diff --git a/collects/redex/tests/bmps-macosx/mf-hidden.png b/collects/redex/tests/bmps-macosx/mf-hidden.png index 3369e5857c..2faa9a08bc 100644 Binary files a/collects/redex/tests/bmps-macosx/mf-hidden.png and b/collects/redex/tests/bmps-macosx/mf-hidden.png differ diff --git a/collects/redex/tests/bmps-macosx/rdups-delimited.png b/collects/redex/tests/bmps-macosx/rdups-delimited.png index 9ad2fd2932..20dba5014e 100644 Binary files a/collects/redex/tests/bmps-macosx/rdups-delimited.png and b/collects/redex/tests/bmps-macosx/rdups-delimited.png differ diff --git a/collects/redex/tests/bmps-macosx/rdups-undelimited.png b/collects/redex/tests/bmps-macosx/rdups-undelimited.png index 353d14dff3..c1edf62843 100644 Binary files a/collects/redex/tests/bmps-macosx/rdups-undelimited.png and b/collects/redex/tests/bmps-macosx/rdups-undelimited.png differ diff --git a/collects/redex/tests/bmps-macosx/red-with-where-name.png b/collects/redex/tests/bmps-macosx/red-with-where-name.png index df1bf32cf2..9b81797f3c 100644 Binary files a/collects/redex/tests/bmps-macosx/red-with-where-name.png and b/collects/redex/tests/bmps-macosx/red-with-where-name.png differ diff --git a/collects/redex/tests/bmps-macosx/red2.png b/collects/redex/tests/bmps-macosx/red2.png index 459f59a650..95c5373731 100644 Binary files a/collects/redex/tests/bmps-macosx/red2.png and b/collects/redex/tests/bmps-macosx/red2.png differ diff --git a/collects/redex/tests/bmps-macosx/reduction-relation-with-computed-labels-and-hiding.png b/collects/redex/tests/bmps-macosx/reduction-relation-with-computed-labels-and-hiding.png index 8939f396f1..f72e6e318c 100644 Binary files a/collects/redex/tests/bmps-macosx/reduction-relation-with-computed-labels-and-hiding.png and b/collects/redex/tests/bmps-macosx/reduction-relation-with-computed-labels-and-hiding.png differ diff --git a/collects/redex/tests/bmps-macosx/reduction-relation-with-computed-labels.png b/collects/redex/tests/bmps-macosx/reduction-relation-with-computed-labels.png index c842cb2b17..621cd95b56 100644 Binary files a/collects/redex/tests/bmps-macosx/reduction-relation-with-computed-labels.png and b/collects/redex/tests/bmps-macosx/reduction-relation-with-computed-labels.png differ diff --git a/collects/redex/tests/bmps-macosx/reduction-relation.png b/collects/redex/tests/bmps-macosx/reduction-relation.png index 7a5f8f49bf..189da79df1 100644 Binary files a/collects/redex/tests/bmps-macosx/reduction-relation.png and b/collects/redex/tests/bmps-macosx/reduction-relation.png differ diff --git a/collects/redex/tests/bmps-macosx/relation-with-name.png b/collects/redex/tests/bmps-macosx/relation-with-name.png index 8095b150a8..ee7d4c1d85 100644 Binary files a/collects/redex/tests/bmps-macosx/relation-with-name.png and b/collects/redex/tests/bmps-macosx/relation-with-name.png differ diff --git a/collects/redex/tests/bmps-macosx/relation.png b/collects/redex/tests/bmps-macosx/relation.png index d699b98437..5e9e5a13f2 100644 Binary files a/collects/redex/tests/bmps-macosx/relation.png and b/collects/redex/tests/bmps-macosx/relation.png differ diff --git a/collects/redex/tests/bmps-macosx/rr-hidden.png b/collects/redex/tests/bmps-macosx/rr-hidden.png index 8e90639641..b9559bc052 100644 Binary files a/collects/redex/tests/bmps-macosx/rr-hidden.png and b/collects/redex/tests/bmps-macosx/rr-hidden.png differ diff --git a/collects/redex/tests/bmps-macosx/stlc.png b/collects/redex/tests/bmps-macosx/stlc.png index 8bce9bfe1e..ce9843f41d 100644 Binary files a/collects/redex/tests/bmps-macosx/stlc.png and b/collects/redex/tests/bmps-macosx/stlc.png differ diff --git a/collects/redex/tests/bmps-macosx/superscripts.png b/collects/redex/tests/bmps-macosx/superscripts.png index ab30c9a70f..8aba93d05c 100644 Binary files a/collects/redex/tests/bmps-macosx/superscripts.png and b/collects/redex/tests/bmps-macosx/superscripts.png differ diff --git a/collects/redex/tests/bmps-macosx/var-not-in-rebound.png b/collects/redex/tests/bmps-macosx/var-not-in-rebound.png index 6cc8e4bca2..bdaa150271 100644 Binary files a/collects/redex/tests/bmps-macosx/var-not-in-rebound.png and b/collects/redex/tests/bmps-macosx/var-not-in-rebound.png differ diff --git a/collects/redex/tests/bmps-macosx/var-not-in.png b/collects/redex/tests/bmps-macosx/var-not-in.png index d1ecd1f8e9..0e39e0ccc6 100644 Binary files a/collects/redex/tests/bmps-macosx/var-not-in.png and b/collects/redex/tests/bmps-macosx/var-not-in.png differ