/* $Id$ */ img.coder { padding: 2px; } .coder-normal { background-color: #ffd; } .coder-minor { } .coder-critical { background-color: #ffe7dd; } .coder code { font-size: 12px; } code.bad { color: red; } code.good { color: green; } .coder-description { display: none; padding: 5px 5px 5px 5px; margin: 0px 0px 5px 0px; border: 1px solid #888888; } .coder-description code { background: #edf1f3; } .coder-settings { padding-top: 2em; }