Tweaked font size of IR Black terminal theme.