Revert "Use a new theme: leuven."

don't bother

This reverts commit 6e2b08037bbc36b1f1cad190682906a0d90ffa49.