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