Manually specify 11px size for terminal font