diff options
Diffstat (limited to 'html/073scheduler.cc.html')
| -rw-r--r-- | html/073scheduler.cc.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/html/073scheduler.cc.html b/html/073scheduler.cc.html index 4bf23ad2..7f1cc1f5 100644 --- a/html/073scheduler.cc.html +++ b/html/073scheduler.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; } .cSpecial { color: #008000; } |