/* This file is useless, since all the styling is done at theme-level.
  However, removing it will trigger the funny red-links bug in Safari.
  So keep it here and forget about it ;) */