/* DATEI: formate.css */

@CHARSET "ISO-8859-1";

body { font-size:80%; }