theme

Redmine 4 was released more than 2 months ago, but many themes, even premium, paid ones, still don't play nicely with it. Apparently most issues arise from the fact that…