tree b041c7aedf1305d77cf14e6c169bc7856958f1ed
parent 3a65ecb0bfbb9fca3523da262a0f832a6ae77419
author Marc Kupietz <kupietz@ids-mannheim.de> 1693559118 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1693559118 +0200

set all ggplot font sizes relative to base font size

Change-Id: I31f5740b335001d4d2826266b94746bf9391e820