diff --git a/collects/redex/tests/bmps-unix/extended-language.png b/collects/redex/tests/bmps-unix/extended-language.png
index 1548a137c2..36789dca9a 100644
Binary files a/collects/redex/tests/bmps-unix/extended-language.png and b/collects/redex/tests/bmps-unix/extended-language.png differ
diff --git a/collects/redex/tests/bmps-unix/holes.png b/collects/redex/tests/bmps-unix/holes.png
index d5e341491f..54af360d22 100644
Binary files a/collects/redex/tests/bmps-unix/holes.png and b/collects/redex/tests/bmps-unix/holes.png differ
diff --git a/collects/redex/tests/bmps-unix/judgment-form-examples.png b/collects/redex/tests/bmps-unix/judgment-form-examples.png
index 05bd4a8292..c9120ac896 100644
Binary files a/collects/redex/tests/bmps-unix/judgment-form-examples.png and b/collects/redex/tests/bmps-unix/judgment-form-examples.png differ
diff --git a/collects/redex/tests/bmps-unix/language-nox.png b/collects/redex/tests/bmps-unix/language-nox.png
index 236fc49240..1d096b80dc 100644
Binary files a/collects/redex/tests/bmps-unix/language-nox.png and b/collects/redex/tests/bmps-unix/language-nox.png differ
diff --git a/collects/redex/tests/bmps-unix/language.png b/collects/redex/tests/bmps-unix/language.png
index 236ac6b17c..eb6604c600 100644
Binary files a/collects/redex/tests/bmps-unix/language.png and b/collects/redex/tests/bmps-unix/language.png differ
diff --git a/collects/redex/tests/bmps-unix/lw.png b/collects/redex/tests/bmps-unix/lw.png
index a19aa8b074..ae3542dcdd 100644
Binary files a/collects/redex/tests/bmps-unix/lw.png and b/collects/redex/tests/bmps-unix/lw.png differ
diff --git a/collects/redex/tests/bmps-unix/metafunction-T.png b/collects/redex/tests/bmps-unix/metafunction-T.png
index 3c1f2267a8..f4e6429aea 100644
Binary files a/collects/redex/tests/bmps-unix/metafunction-T.png and b/collects/redex/tests/bmps-unix/metafunction-T.png differ
diff --git a/collects/redex/tests/bmps-unix/metafunction-TL.png b/collects/redex/tests/bmps-unix/metafunction-TL.png
index d4965e81b8..e2990c0337 100644
Binary files a/collects/redex/tests/bmps-unix/metafunction-TL.png and b/collects/redex/tests/bmps-unix/metafunction-TL.png differ
diff --git a/collects/redex/tests/bmps-unix/metafunction-judgment-holds.png b/collects/redex/tests/bmps-unix/metafunction-judgment-holds.png
index 754fcef203..e3ae58de3d 100644
Binary files a/collects/redex/tests/bmps-unix/metafunction-judgment-holds.png and b/collects/redex/tests/bmps-unix/metafunction-judgment-holds.png differ
diff --git a/collects/redex/tests/bmps-unix/metafunction-subst.png b/collects/redex/tests/bmps-unix/metafunction-subst.png
index 64fe388c3f..023a82bd2b 100644
Binary files a/collects/redex/tests/bmps-unix/metafunction-subst.png and b/collects/redex/tests/bmps-unix/metafunction-subst.png differ
diff --git a/collects/redex/tests/bmps-unix/metafunction.png b/collects/redex/tests/bmps-unix/metafunction.png
index 30d0f46ede..dd338be725 100644
Binary files a/collects/redex/tests/bmps-unix/metafunction.png and b/collects/redex/tests/bmps-unix/metafunction.png differ
diff --git a/collects/redex/tests/bmps-unix/metafunctions-multiple.png b/collects/redex/tests/bmps-unix/metafunctions-multiple.png
index 5cdbfb286e..7fda50d042 100644
Binary files a/collects/redex/tests/bmps-unix/metafunctions-multiple.png and b/collects/redex/tests/bmps-unix/metafunctions-multiple.png differ
diff --git a/collects/redex/tests/bmps-unix/rdups-delimited.png b/collects/redex/tests/bmps-unix/rdups-delimited.png
index b19307700c..af78769051 100644
Binary files a/collects/redex/tests/bmps-unix/rdups-delimited.png and b/collects/redex/tests/bmps-unix/rdups-delimited.png differ
diff --git a/collects/redex/tests/bmps-unix/rdups-undelimited.png b/collects/redex/tests/bmps-unix/rdups-undelimited.png
index 85f0e97f95..c77803a2a0 100644
Binary files a/collects/redex/tests/bmps-unix/rdups-undelimited.png and b/collects/redex/tests/bmps-unix/rdups-undelimited.png differ
diff --git a/collects/redex/tests/bmps-unix/red-with-where-name.png b/collects/redex/tests/bmps-unix/red-with-where-name.png
index 218b879aa6..e6ca22723e 100644
Binary files a/collects/redex/tests/bmps-unix/red-with-where-name.png and b/collects/redex/tests/bmps-unix/red-with-where-name.png differ
diff --git a/collects/redex/tests/bmps-unix/red2.png b/collects/redex/tests/bmps-unix/red2.png
index c85aff6baa..aae58c0d2f 100644
Binary files a/collects/redex/tests/bmps-unix/red2.png and b/collects/redex/tests/bmps-unix/red2.png differ
diff --git a/collects/redex/tests/bmps-unix/reduction-relation.png b/collects/redex/tests/bmps-unix/reduction-relation.png
index 4a52a90d92..8719dca375 100644
Binary files a/collects/redex/tests/bmps-unix/reduction-relation.png and b/collects/redex/tests/bmps-unix/reduction-relation.png differ
diff --git a/collects/redex/tests/bmps-unix/relation-with-name.png b/collects/redex/tests/bmps-unix/relation-with-name.png
index db235c6d40..3e0d661c33 100644
Binary files a/collects/redex/tests/bmps-unix/relation-with-name.png and b/collects/redex/tests/bmps-unix/relation-with-name.png differ
diff --git a/collects/redex/tests/bmps-unix/relation.png b/collects/redex/tests/bmps-unix/relation.png
index 07bfe463c6..c6ecc24f45 100644
Binary files a/collects/redex/tests/bmps-unix/relation.png and b/collects/redex/tests/bmps-unix/relation.png differ
diff --git a/collects/redex/tests/bmps-unix/stlc.png b/collects/redex/tests/bmps-unix/stlc.png
index 95b547aa28..2f17279d9c 100644
Binary files a/collects/redex/tests/bmps-unix/stlc.png and b/collects/redex/tests/bmps-unix/stlc.png differ
diff --git a/collects/redex/tests/bmps-unix/superscripts.png b/collects/redex/tests/bmps-unix/superscripts.png
index af2b3481a5..e0bc4c487f 100644
Binary files a/collects/redex/tests/bmps-unix/superscripts.png and b/collects/redex/tests/bmps-unix/superscripts.png differ
diff --git a/collects/redex/tests/bmps-unix/var-not-in-rebound.png b/collects/redex/tests/bmps-unix/var-not-in-rebound.png
index 8263839966..59268a94b0 100644
Binary files a/collects/redex/tests/bmps-unix/var-not-in-rebound.png and b/collects/redex/tests/bmps-unix/var-not-in-rebound.png differ
diff --git a/collects/redex/tests/bmps-unix/var-not-in.png b/collects/redex/tests/bmps-unix/var-not-in.png
index 2896d22d7e..384fd2df01 100644
Binary files a/collects/redex/tests/bmps-unix/var-not-in.png and b/collects/redex/tests/bmps-unix/var-not-in.png differ