diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-02-08 12:54:33 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-02-08 12:54:33 -0500 |
| commit | e57d82dde105ffbfcb27ab261041c97b4dd0150a (patch) | |
| tree | e4716c076ef5f05d63235bbf475f939fa1ed402f /haddock-api/resources/html | |
| parent | b995bfe84f9766e23ff78d7ccd520ec7d8cdbebc (diff) | |
| parent | 4f1a309700106b62831309931e449a603093f521 (diff) | |
Merge remote-tracking branch 'upstream/ghc-head' into ghc-head
Diffstat (limited to 'haddock-api/resources/html')
| -rw-r--r-- | haddock-api/resources/html/quick-jump.css | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/haddock-api/resources/html/quick-jump.css b/haddock-api/resources/html/quick-jump.css index d656f51c..cf10eee4 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; } |