Merge pull request #609 from leider/master

fixing again the small fix for displaying on tiny devices
customized fonts in bootstrap
Layout tweaks in page headings mainly