Larger font for definitions

and stuph