Fontsize: Smaller Reset Larger Largest

SEACOMP 2017, Philippines, December 1-4, 2017.