Added map and favorite buttons to the top of patent tabs; fixed bug in on_tab_shown; fixed styling for Firefox