/* ----------------------------------------------------------------- */
/*                                                                   */
/*  leere CSS-Datei als Platzhalter                                  */
/*  für divmarker.css                                                */
/*                                                                   */
/* ----------------------------------------------------------------- */