Favorites Resized for WebProofs