Adapt to KDevPlatform's setOverrideCss API change

https://commits.kde.org/kdevelop/8ec324c888e702299627050eb93a99b4c53cabb3
just replaced the existing setOverrideCss() API with more convenient
CSS-overriding overloads. Use the new API and drop the no longer needed
glue code.