Customising footer font size via DMINIBAR_FONT_SIZE variable

What was written in issue #918.