aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html/quick-jump.css
diff options
context:
space:
mode:
authoralexbiehl <alex.biehl@gmail.com>2017-10-31 21:48:55 +0100
committeralexbiehl <alex.biehl@gmail.com>2017-10-31 21:48:55 +0100
commit08c9e19236770811caf571321f5ece271d1fccff (patch)
treebeb3f6407d14abcab32f9d54811cabd319c356a4 /haddock-api/resources/html/quick-jump.css
parent3896bff411596ef50b5ca2f2be425e89878410aa (diff)
parente5fe98530d9c70f5197494da9de07f42dd7fe334 (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.css17
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 */