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