This was also reported form VictorSJG per mail to the developers.
AFAICS this is done be altering style.css via shell-scripts, adding/changing two lines which set font-size and line-hight.
Could be done probable more easier direct from JS.
But neverless good finding and contribution,
same goes for Analogus Save/Resort/Reset PRS+Settings
|