Theme management usability
Fixed more bugs in notification digests
Fixed some problems with theme editing interfaces
Fixed problems with template diffs
Misc minor fixes
Removed some particular legacy (pre-IE8) IE compatibility code