— function: set-font-size i

Where i is an integer number

set the font size