SVGHMI: more whitespace fixes
svghmi
2020-03-04, Edouard Tisserant