koreader/koreader — pull request #928 by Ebrehem (2014-09-27 11:05:21+00:00)
Title: Customising footer font size via DMINIBAR_FONT_SIZE variable

What was written in issue #918.