diff options
| author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2021-02-07 18:43:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-07 18:43:19 +0100 |
| commit | a30ebe591c862bcaac321ce9a5c03fa2ce56729e (patch) | |
| tree | 883ee3f8c0e195299925b790cba6f88a537200f6 /haddock-api/resources/html | |
| parent | 0f7ff041fb824653a7930e1292b81f34df1e967d (diff) | |
| parent | 786d3e69799398c3aac26fbd5017a127bc69cacc (diff) | |
Merge pull request #1321 from Kleidukos/ghc-9.0
Merge ghc-9.0 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; } |