Add option for smaller font in banners.
[wolnelektury.git] / src / stats / models.py