diff --git a/collects/redex/tests/bmps-unix/extended-language.png b/collects/redex/tests/bmps-unix/extended-language.png
index 36789dca9a..1548a137c2 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 54af360d22..d5e341491f 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 c9120ac896..05bd4a8292 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 1d096b80dc..236fc49240 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 eb6604c600..236ac6b17c 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 ae3542dcdd..a19aa8b074 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 f4e6429aea..3c1f2267a8 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 e2990c0337..d4965e81b8 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 e3ae58de3d..754fcef203 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 023a82bd2b..64fe388c3f 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 dd338be725..30d0f46ede 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 7fda50d042..5cdbfb286e 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 af78769051..b19307700c 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 c77803a2a0..85f0e97f95 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 e6ca22723e..218b879aa6 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 aae58c0d2f..c85aff6baa 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 8719dca375..4a52a90d92 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 3e0d661c33..db235c6d40 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 c6ecc24f45..07bfe463c6 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 2f17279d9c..95b547aa28 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 e0bc4c487f..af2b3481a5 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 59268a94b0..8263839966 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 384fd2df01..2896d22d7e 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