use bold variant of freemono font because it looks better when scaled down