Hopefully that is a nicer default theme