diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/extended-language.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/extended-language.png
index fd1c5570a7..3c14ff912d 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/extended-language.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/extended-language.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/extended-reduction-relation.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/extended-reduction-relation.png
index b9559bc052..d96f04f3e0 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/extended-reduction-relation.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/extended-reduction-relation.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/holes.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/holes.png
index 35acac535c..2317d8a293 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/holes.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/holes.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/judgment-form-examples.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/judgment-form-examples.png
index 50db2b3c42..97f7f5117c 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/judgment-form-examples.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/judgment-form-examples.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/language-nox.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/language-nox.png
index 15f2a08f09..a97d1d0a59 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/language-nox.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/language-nox.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/language.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/language.png
index 132232edc3..ccf5e4e519 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/language.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/language.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/lw.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/lw.png
index 34a332e4e1..9894a67874 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/lw.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/lw.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-Name-horizontal.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-Name-horizontal.png
index fb6337dcb2..c0dcccd695 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-Name-horizontal.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-Name-horizontal.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-Name-vertical.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-Name-vertical.png
index f196aec742..88dcf8eded 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-Name-vertical.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-Name-vertical.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-Name.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-Name.png
index 6387bfe33e..ee2f2cff15 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-Name.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-Name.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-T.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-T.png
index 1f5924445b..d714932b9d 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-T.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-T.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-TL.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-TL.png
index 7abbc49374..3ae7f57317 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-TL.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-TL.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-judgment-holds.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-judgment-holds.png
index 19fc4dcf3e..6ca47ad6c8 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-judgment-holds.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-judgment-holds.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-multi-arg.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-multi-arg.png
index 83ca436155..fbf440d003 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-multi-arg.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-multi-arg.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-subst.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-subst.png
index 5326043ca6..37475eccf8 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-subst.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction-subst.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction.png
index 8896d84989..955545d0fa 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunction.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunctions-multiple.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunctions-multiple.png
index 797e230f1f..2d0c42de83 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunctions-multiple.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunctions-multiple.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/mf-hidden.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/mf-hidden.png
index 2faa9a08bc..3bfed8be89 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/mf-hidden.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/mf-hidden.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/rdups-delimited.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/rdups-delimited.png
index 20dba5014e..831d5ffd74 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/rdups-delimited.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/rdups-delimited.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/rdups-undelimited.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/rdups-undelimited.png
index c1edf62843..2f1679e218 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/rdups-undelimited.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/rdups-undelimited.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/red-with-where-name.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/red-with-where-name.png
index 9b81797f3c..125fce310c 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/red-with-where-name.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/red-with-where-name.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/red2.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/red2.png
index 95c5373731..8f0a8c20ab 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/red2.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/red2.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/reduction-relation-with-computed-labels-and-hiding.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/reduction-relation-with-computed-labels-and-hiding.png
index f72e6e318c..42d5de4dd3 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/reduction-relation-with-computed-labels-and-hiding.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/reduction-relation-with-computed-labels-and-hiding.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/reduction-relation-with-computed-labels.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/reduction-relation-with-computed-labels.png
index 16a4e992c6..ceb1240cc3 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/reduction-relation-with-computed-labels.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/reduction-relation-with-computed-labels.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/reduction-relation.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/reduction-relation.png
index 189da79df1..e8e186060d 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/reduction-relation.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/reduction-relation.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/relation-with-name.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/relation-with-name.png
index ee7d4c1d85..3154f8169d 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/relation-with-name.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/relation-with-name.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/relation.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/relation.png
index 5e9e5a13f2..5c0d4da653 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/relation.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/relation.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/rr-hidden.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/rr-hidden.png
index b9559bc052..d96f04f3e0 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/rr-hidden.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/rr-hidden.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/stlc.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/stlc.png
index 9b2d1cbec9..9a402465ef 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/stlc.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/stlc.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/superscripts.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/superscripts.png
index 8aba93d05c..3704ea1f64 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/superscripts.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/superscripts.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/var-not-in-rebound.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/var-not-in-rebound.png
index bdaa150271..5d881ecc0f 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/var-not-in-rebound.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/var-not-in-rebound.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/var-not-in.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/var-not-in.png
index 0e39e0ccc6..6ef3c7926f 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/var-not-in.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/var-not-in.png differ