diff options
Diffstat (limited to 'html/067random.cc.html')
| -rw-r--r-- | html/067random.cc.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/html/067random.cc.html b/html/067random.cc.html index 112063c3..4e90f5f7 100644 --- a/html/067random.cc.html +++ b/html/067random.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 { } .Constant { color: #008787; } |