/* This file is intentionally left empty. The styles are injected dynamically by the javascript. */