fix style of #bookmarks-menu-button and BookmarkingUI._currentAreaType