/* This is just a dummy file for the default css. Do not delete. */