diff options
Diffstat (limited to 'html/041jump_target.cc.html')
| -rw-r--r-- | html/041jump_target.cc.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/html/041jump_target.cc.html b/html/041jump_target.cc.html index 9f4feb6d..f6811717 100644 --- a/html/041jump_target.cc.html +++ b/html/041jump_target.cc.html @@ -12,6 +12,7 @@ <!-- pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; } body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } +a { color:inherit; } * { font-size:12pt; font-size: 1em; } .traceAbsent { color: #c00000; } .traceContains { color: #005f00; } |