diff options
| author | Araq <rumpf_a@web.de> | 2016-09-09 20:42:02 +0200 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2016-09-09 20:42:02 +0200 |
| commit | 3dfc86671005d033f6a7f3b68e0aeabeb1f4cfb9 (patch) | |
| tree | ea250749d8b1b0ae4db6ad295a6143e1c6a96001 /config/nimdoc.cfg | |
| parent | 3a3aeb94ecf2b0a0f91470719f5e22dc6ff475c6 (diff) | |
| download | Nim-3dfc86671005d033f6a7f3b68e0aeabeb1f4cfb9.tar.gz | |
docgen: working search feature
Diffstat (limited to 'config/nimdoc.cfg')
| -rw-r--r-- | config/nimdoc.cfg | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index 2a6ace4d8..819444874 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -1275,6 +1275,13 @@ dt pre > span.Operator ~ span.Identifier, dt pre > span.Operator ~ span.Operator span.pragmaend { cursor: pointer; } + +div.search_results { + background-color: antiquewhite; + margin: 3em; + border-style: inset; + padding: 1em; +} </style> <script type="text/javascript" src="../dochack.js"></script> |