theme: use a smaller font for modeline