diff options
Diffstat (limited to 'config/nimdoc.cfg')
| -rwxr-xr-x | config/nimdoc.cfg | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index 300b5e509..46249dcd2 100755 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -138,7 +138,7 @@ pre, span.tok { border-width: 1px 1px 1px 2px; color: black; line-spacing: 110%; - padding: 5px; + padding: 2px; } span.red { @@ -264,8 +264,10 @@ table.docutils td, table.docutils th, table.docinfo td, table.docinfo th {padding-left: 0.5em;padding-right: 0.5em; vertical-align: top;} -table.docutils td, table.docutils th { border-bottom:1px solid #9D9D9D; color: #4d4d4d} -table.docutils td:hover, table.docinfo td:hover {color: #000000} +table.docutils td, table.docutils th { border-bottom:1px solid #9D9D9D; } +/* color: #4d4d4d} */ + +/* table.docutils td:hover, table.docinfo td:hover {color: #000000} */ table.docutils th.field-name, table.docinfo th.docinfo-name { |