New build with slightly nicer fonts, including a monospace one for use in certain contexts.