diff options
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> |