Make multiplexers a bit smaller.

diff --git a/Utils/Metapost.tex b/Utils/Metapost.tex
index 6c46ece6a82c7fb48103748dffa40a75cc7014b5..590dfc57480418a997724a146bf45b3f9ba72c41 100644 (file)
--- a/Utils/Metapost.tex
+++ b/Utils/Metapost.tex
@@ -134,7 +134,7 @@ def BpathMux(suffix n)=StandardBpath(n) enddef;
 define_local_numeric_option("width");
 define_local_numeric_option("height");
 setObjectDefaultOption("Mux")("width")(5mm);
-setObjectDefaultOption("Mux")("height")(20mm);
+setObjectDefaultOption("Mux")("height")(15mm);
 setObjectDefaultOption("Mux")("framed")(true);
 % Overidden above
 %setObjectDefaultOption("Mux")("framewidth")(.5bp);