Use a new theme: leuven.