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 3c14ff912d..7956794333 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 d96f04f3e0..e5e6f04eec 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 2317d8a293..0e9d02e892 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 97f7f5117c..326ab12663 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 a97d1d0a59..9a5397d98e 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 ccf5e4e519..3dfe28b8d9 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 9894a67874..b27d0b015c 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 d361353d59..7e2d7bc912 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 88dcf8eded..e44a3f1635 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 ee2f2cff15..4299c5d570 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 d714932b9d..db3f7b304f 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 3ae7f57317..38c3a3b1b3 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 6ca47ad6c8..c7b532d35b 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 fbf440d003..0540833c7a 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 37475eccf8..ac01bacf87 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 955545d0fa..35aeac99b3 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 2d0c42de83..5157dfdc0d 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 3bfed8be89..8aaa240a82 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 831d5ffd74..6b488ff9a0 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 2f1679e218..405e378d2e 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 125fce310c..3447aa169d 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 8f0a8c20ab..d413fd3270 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.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/reduction-relation-with-computed-labels.png
index ceb1240cc3..3cb901ba22 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 e8e186060d..810f478b53 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 3154f8169d..4fec4f510a 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 5c0d4da653..8219519967 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 d96f04f3e0..e5e6f04eec 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 9a402465ef..8a858029ce 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/var-not-in-rebound.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/var-not-in-rebound.png
index 5d881ecc0f..ce34b2da18 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 6ef3c7926f..8e609f375a 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