diff options
Diffstat (limited to 'haddock-api/resources')
| -rw-r--r-- | haddock-api/resources/html/quick-jump.css | 4 | 
1 files changed, 2 insertions, 2 deletions
diff --git a/haddock-api/resources/html/quick-jump.css b/haddock-api/resources/html/quick-jump.css index ede05042..468d8036 100644 --- a/haddock-api/resources/html/quick-jump.css +++ b/haddock-api/resources/html/quick-jump.css @@ -8,6 +8,7 @@    width: 44em;    z-index: 1000;    pointer-events: none; +  overflow-y: auto;  }  #search.hidden { @@ -42,7 +43,6 @@    box-sizing: border-box;    border: 0.05em solid #b2d5fb;    background: #e8f3ff; -  overflow-y: auto;  }  #search-form input + #search-results { @@ -161,4 +161,4 @@    margin: 0 0.1em;  } -/* @end */
\ No newline at end of file +/* @end */  | 
