diff options
| -rw-r--r-- | coverage/htmlfiles/style.css | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css index 7f2a8263..0c29711a 100644 --- a/coverage/htmlfiles/style.css +++ b/coverage/htmlfiles/style.css @@ -61,22 +61,6 @@ a.nav:hover { font-family: "courier new", monospace; } -#source span.indicator { - float: right; - margin: 0 -12px 0 3px; - font-weight: bold; - font-size: 1.5em; - } -#source p.mis span.indicator { - color: #ff0000; - } -#source p.run span.indicator { - color: #000000; - } -#source p.exc span.indicator { - color: #000000; - } - #indexfile #footer { margin: 1em 3em; } |