diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2009-01-07 17:03:25 +0100 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2009-01-07 17:03:25 +0100 |
| commit | 439aa2d04d5528b5aed288f70895515d1da2dc3d (patch) | |
| tree | cda2d0bc4d4f2bab189c4a0567cae3c1428c5ed0 /config/nimdoc.cfg | |
| parent | 1c8ddca7e08af9075a930edaca6c522d5e6fd8b5 (diff) | |
| download | Nim-439aa2d04d5528b5aed288f70895515d1da2dc3d.tar.gz | |
version 0.7.4
Diffstat (limited to 'config/nimdoc.cfg')
| -rw-r--r-- | config/nimdoc.cfg | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index a2a638a89..9a946b641 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -3,7 +3,7 @@ # Feel free to edit the templates as you need. split.item.toc = "20" -# too long entries in the table of contents get truncated +# too long entries in the table of contents wrap around # after this number of characters doc.section = """ @@ -136,6 +136,10 @@ pre, span.tok { background-color:#F9F9F9; border:1px dotted #2F6FAB; color:black; +} + +span.red { + color: #A80000; } /* |