Avoid negative space in \bmod. (#984)

This is a workaround for #836 for the command case of using \bmod,
without changing any spacing (and making the code and generated output
slightly more efficient).  In particular, fix #982.
This commit is contained in:
Erik Demaine
2017-11-26 20:24:31 -05:00
committed by GitHub
parent 2ca6c3c73b
commit f6a377b91c
2 changed files with 17 additions and 8 deletions

View File

@@ -118,6 +118,7 @@
@ptperem: 10.0;
@nulldelimiterspace: 1.2em / @ptperem;
@muspace: 0.055556em; // 1mu
@thinspace: 0.16667em; // 3mu
@mediumspace: 0.22222em; // 4mu
@thickspace: 0.27778em; // 5mu
@@ -327,6 +328,10 @@
margin-left: -@thinspace;
}
&.muspace {
width: @muspace;
}
&.thinspace {
width: @thinspace;
}