added shortcuts for larger terminal font