A Decrease font size. A Reset font size. A Increase font size.
Written by András Rátonyi on December 30, 2020.