MrOtherGuy has promptly fixed this breakage. Many thanks :)
For more details see Commit ddba754... and associated GitHub repo Issue #661 - "floating_findbar_on_top.css" no longer working - the findbar is at the bottom again and barely visible'.
MrOtherGuy has promptly fixed this breakage. Many thanks :)
For more details see Commit ddba754... and associated GitHub repo Issue #661 - "floating_findbar_on_top.css" no longer working - the findbar is at the bottom again and barely visible'.