diff options
Diffstat (limited to 'docs/api/html/style.css')
| -rw-r--r-- | docs/api/html/style.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/api/html/style.css b/docs/api/html/style.css index b7ec78f5..c2b3cf7b 100644 --- a/docs/api/html/style.css +++ b/docs/api/html/style.css @@ -455,6 +455,11 @@ acronym,abbr } } +pre { line-height: 125%; } +td.linenos pre { color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px; } +span.linenos { color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px; } +td.linenos pre.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; } +span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; } .hll { background-color: #ffffcc } .c { color: #408080; font-style: italic } /* Comment */ .err { border: 1px solid #FF0000 } /* Error */ |