fixes #3287: minor styling fixes on main.
[edumed.git] / publishers /
2014-01-31 Radek CzajkaOh, right