-
Eisverygoodletter authored
Fixes a problem where multiple labels right after a heading are vertically misaligned. Closes #751.
Eisverygoodletter authoredFixes a problem where multiple labels right after a heading are vertically misaligned. Closes #751.
