Allow scrolling search results (#1235)

MaxGabriel · web-flow · commit 3145fa33864c · 2020-12-08T16:40:03.000+01:00
Closes #1231
diff --git a/haddock-api/resources/html/quick-jump.css b/haddock-api/resources/html/quick-jump.css
@@ -53,6 +53,8 @@
   box-sizing: border-box;
   border: 0.05em solid #b2d5fb;
   background: #e8f3ff;
+  max-height: 80%;
+  overflow: scroll;
 }
 
 #search-form input + #search-results {

Original file line number	Diff line number	Diff line change
`@@ -53,6 +53,8 @@`
`53`	`53`	`box-sizing: border-box;`
`54`	`54`	`border: 0.05em solid #b2d5fb;`
`55`	`55`	`background: #e8f3ff;`
	`56`	`+ max-height: 80%;`
	`57`	`+ overflow: scroll;`
`56`	`58`	`}`
`57`	`59`
`58`	`60`	`#search-form input + #search-results {`