tree 361d91491ccb5d6fe7deb411896141b2d0c563ff
parent fcc3ca9b175d02fb3726f219aeacf3ef5f5dd5ff
author Marc Kupietz <kupietz@ids-mannheim.de> 1687188103 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1687188103 +0200

Decrease default titlebox_height to 7.5%

Change-Id: Icbdbdfa4ef7ba7db8b24e641eb5891651fdf0634