Add option for smaller font in banners.
[wolnelektury.git] / src / pdcounter / __init__.py