Fonts WAY TOO BIG Puntuado con 4 de 5 estrellas

This add-on is nice and useful, BUT the fonts used are ridiculously too big, and (to my knowledge) not customizable. Besides, a toolbar button to activate/deactivate the sidebar would be useful.

Esta valoración es de una versión anterior del complemento (0.9.5.1-signed).