Comment by adiabatty

Gray backgrounds used to be the default.