Add option for smaller font in banners.
[wolnelektury.git] / doc / deployment.rst
2019-08-29 Radek CzajkaStart updating docs.