diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/extended-language.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/extended-language.png
index 33e93695de..6afac91762 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/extended-language.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/extended-language.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/extended-reduction-relation.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/extended-reduction-relation.png
index 00d11fad41..269178a311 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/extended-reduction-relation.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/extended-reduction-relation.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/holes.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/holes.png
index 54af360d22..31b2a8faf0 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/holes.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/holes.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/judgment-form-examples.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/judgment-form-examples.png
index b4a75bbac8..d57672c6e1 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/judgment-form-examples.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/judgment-form-examples.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/language-nox.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/language-nox.png
index 1d096b80dc..27b9cb8541 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/language-nox.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/language-nox.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/language.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/language.png
index eb6604c600..d2dde8ef32 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/language.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/language.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/lw.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/lw.png
index ae3542dcdd..8e6c26c635 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/lw.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/lw.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-Name-horizontal.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-Name-horizontal.png
index ddf37f9e45..144afde18c 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-Name-horizontal.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-Name-horizontal.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-Name-vertical.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-Name-vertical.png
index ec7e1f3499..b38d1e004f 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-Name-vertical.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-Name-vertical.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-Name.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-Name.png
index 470eb6810b..5e011ccd86 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-Name.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-Name.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-T.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-T.png
index f4e6429aea..6ad36f4ca2 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-T.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-T.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-TL.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-TL.png
index e2990c0337..d4257da726 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-TL.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-TL.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-judgment-holds.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-judgment-holds.png
index e3ae58de3d..cec2c25c3a 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-judgment-holds.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-judgment-holds.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-multi-arg.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-multi-arg.png
index 02294d05f4..c20279c92f 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-multi-arg.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-multi-arg.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-subst.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-subst.png
index 023a82bd2b..419be1bc3e 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-subst.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction-subst.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction.png
index dd338be725..ca0ce1aafc 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunction.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunctions-multiple.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunctions-multiple.png
index d01a9a62c2..a4bbb9aa63 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunctions-multiple.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/metafunctions-multiple.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/mf-hidden.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/mf-hidden.png
index 64997f6539..a76e9835b0 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/mf-hidden.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/mf-hidden.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/rdups-delimited.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/rdups-delimited.png
index af78769051..c699e88de1 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/rdups-delimited.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/rdups-delimited.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/rdups-undelimited.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/rdups-undelimited.png
index c77803a2a0..4200ff65d9 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/rdups-undelimited.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/rdups-undelimited.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/red-with-where-name.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/red-with-where-name.png
index e6ca22723e..8a06509c39 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/red-with-where-name.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/red-with-where-name.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/red2.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/red2.png
index aae58c0d2f..b1ed63a09f 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/red2.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/red2.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/reduction-relation-with-computed-labels-and-hiding.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/reduction-relation-with-computed-labels-and-hiding.png
index 69a5325c84..76721c174c 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/reduction-relation-with-computed-labels-and-hiding.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/reduction-relation-with-computed-labels-and-hiding.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/reduction-relation-with-computed-labels.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/reduction-relation-with-computed-labels.png
index afdee97e3f..f73350b14c 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/reduction-relation-with-computed-labels.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/reduction-relation-with-computed-labels.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/reduction-relation.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/reduction-relation.png
index 8719dca375..fd2c77b2d1 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/reduction-relation.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/reduction-relation.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/relation-with-name.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/relation-with-name.png
index 3e0d661c33..ad5833a94f 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/relation-with-name.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/relation-with-name.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/relation.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/relation.png
index c6ecc24f45..a272e4ccc6 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/relation.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/relation.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/rr-hidden.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/rr-hidden.png
index 00d11fad41..269178a311 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/rr-hidden.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/rr-hidden.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/stlc.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/stlc.png
index 2f17279d9c..2dc76f0aed 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/stlc.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/stlc.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/superscripts.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/superscripts.png
index e0bc4c487f..2dc331bb13 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/superscripts.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/superscripts.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/var-not-in-rebound.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/var-not-in-rebound.png
index 59268a94b0..da075ee648 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/var-not-in-rebound.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/var-not-in-rebound.png differ
diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/var-not-in.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/var-not-in.png
index 384fd2df01..356927d4f1 100644
Binary files a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/var-not-in.png and b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-unix/var-not-in.png differ