diff --git a/haddock-api/resources/html/quick-jump.css b/haddock-api/resources/html/quick-jump.css index d656f51c7edd38d944b2b1e4a27bab51ebe8a948..cf10eee48e66e217e81adc2fb3b423604c82973f 100644 --- a/haddock-api/resources/html/quick-jump.css +++ b/haddock-api/resources/html/quick-jump.css @@ -15,7 +15,6 @@ left: calc(50% - 22em); width: 44em; z-index: 1000; - pointer-events: none; overflow-y: auto; }