Prevent search bar from overlapping the document

2 jobs for !13 with ensure-selection-visibility in 1 minute and 33 seconds (queued for 1 second)
detached
Status Job ID Name Coverage
  Build
passed #2517
build

00:00:40

 
  Distcheck
passed #2518
distcheck

00:00:52