/* This dummy CSS required by wcdocker */