diff options
Diffstat (limited to 'html/024jump.cc.html')
| -rw-r--r-- | html/024jump.cc.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/html/024jump.cc.html b/html/024jump.cc.html index 23e42a33..262ab353 100644 --- a/html/024jump.cc.html +++ b/html/024jump.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; } .LineNr { } |