Changed default theme to leuven.