diff options
Diffstat (limited to 'html/020run.cc.html')
| -rw-r--r-- | html/020run.cc.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/html/020run.cc.html b/html/020run.cc.html index db5a30e4..7f8472d0 100644 --- a/html/020run.cc.html +++ b/html/020run.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; } .LineNr { } .Delimiter { color: #c000c0; } |