Switched to my version of distinguished-theme.