/* DATEI: web.css */

pre { margin-left:30px;
      background-color:#FFFFFF
    }
code.keyword { color:#0000C0; font-weight:900; }
code.comment { color:#C05050; }
code.char    { color:#20FF40; }