diff options
Diffstat (limited to 'config/nimdoc.cfg')
| -rw-r--r-- | config/nimdoc.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index 819444874..832b4ffd0 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -1279,8 +1279,8 @@ dt pre > span.Operator ~ span.Identifier, dt pre > span.Operator ~ span.Operator div.search_results { background-color: antiquewhite; margin: 3em; - border-style: inset; padding: 1em; + border: 1px solid #4d4d4d; } </style> |