Benjamin Weiss 62d10c9a46 fixes #131 – Wrong frametitle spacing with tailed letters ... `vphantom` implementation proposed by @rchurchley in #115		2015-11-16 18:02:50 +01:00
..
metropolistheme.dtx	Merge pull request #145 from benjamin-weiss/font-theme	2015-11-13 08:18:06 +01:00
metropolistheme.pdf	fixes #131 – Wrong frametitle spacing with tailed letters	2015-11-16 18:02:50 +01:00