diff options
| author | alexbiehl <alex.biehl@gmail.com> | 2017-10-31 21:48:55 +0100 |
|---|---|---|
| committer | alexbiehl <alex.biehl@gmail.com> | 2017-10-31 21:48:55 +0100 |
| commit | 08c9e19236770811caf571321f5ece271d1fccff (patch) | |
| tree | beb3f6407d14abcab32f9d54811cabd319c356a4 /haddock-api/resources/html/quick-jump.css | |
| parent | 3896bff411596ef50b5ca2f2be425e89878410aa (diff) | |
| parent | e5fe98530d9c70f5197494da9de07f42dd7fe334 (diff) | |
Merge remote-tracking branch 'origin/master' into ghc-head
Diffstat (limited to 'haddock-api/resources/html/quick-jump.css')
| -rw-r--r-- | haddock-api/resources/html/quick-jump.css | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/haddock-api/resources/html/quick-jump.css b/haddock-api/resources/html/quick-jump.css index b69903c3..ede05042 100644 --- a/haddock-api/resources/html/quick-jump.css +++ b/haddock-api/resources/html/quick-jump.css @@ -33,17 +33,24 @@ outline: none; } +#search p.error { + color: rgb(107, 24, 24); + font-weight: bold; +} + #search-results { - top: 3em; - max-height: calc(100% - 3em); box-sizing: border-box; - border-width: 0 0.05em 0.05em; - border-style: solid; - border-color: #b2d5fb; + border: 0.05em solid #b2d5fb; background: #e8f3ff; overflow-y: auto; } +#search-form input + #search-results { + border-top: none; + top: 3em; + max-height: calc(100% - 3em); +} + /* @end */ /* @group search results */ |