Get rid of some obsolete CSS includes