diff options
Diffstat (limited to 'doc/docinfo.html')
| -rw-r--r-- | doc/docinfo.html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/docinfo.html b/doc/docinfo.html index 8020a1265..64bd9fcdd 100644 --- a/doc/docinfo.html +++ b/doc/docinfo.html @@ -35,4 +35,14 @@ kbd { margin: 0 .2em; font-family: monospace; } +/* syntax highlighting tuning */ +pre.pygments .tok-cp { + color: #ed4848; +} +pre.pygments .tok-nc, pre.pygments .tok-nf { + color: #649fef; +} +pre.pygments .tok-gu, pre.pygments .tok-nc, pre.pygments .tok-nn { + text-decoration: none; +} </style> |