Ticket #1342: Adjust bookmarklet height correctly