roman_numerals, smaller minimum font size in instructions for very small window…

Authored by timotheegiet on Jun 9 2020, 9:25 PM.