[tor-commits] [torbutton/maint-1.9.3] Bug 16735: about:tor should accommodate different fonts/font sizes.