colors: use mix() instead of tint() due to compatibility issues with lessphp, re #4040

git-svn-id: svn://develop.studip.de/studip/trunk@28927 c5b85792-5220-0410-ad23-ed5b6b8ad999