Update config.inc.php

Dann muss der Nutzer das nicht mehr von Hand in sein stylesheet übernehmen.