diff options
| author | Araq <rumpf_a@web.de> | 2016-09-30 23:59:41 +0200 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2016-10-01 00:02:34 +0200 |
| commit | 42b64e3257691a5b505f32cf08867fbbf519bd2a (patch) | |
| tree | f4034a97613b2f5f452e4c4242ba8bfb968f23d4 /config/nimdoc.cfg | |
| parent | b9ed13b279249566d276a46fa256d18445c8698d (diff) | |
| download | Nim-42b64e3257691a5b505f32cf08867fbbf519bd2a.tar.gz | |
minor CSS improvement
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> |