Mark Sapiro wrote:
I have updated the theme on the wiki with these changes. I did not try to install Paul's patch. I'll leave it up to Jim to apply it to his branch and pull it from there.
Actually I see Jim had already applied Paul's patch before I pulled the latest rev, so it is in the installed theme.
Shall we go ahead and make it the default theme for new users?