diff options
Diffstat (limited to 'title.tex')
-rw-r--r-- | title.tex | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -6,9 +6,9 @@ \definemakeup[title][align=middle] \startmakeup[title] - {\switchtobodyfont[30pt] Formal Verification of \blank[medium] High-Level Synthesis} + {\switchtobodyfont[30pt,ss] Formal Verification of \blank[medium] High-Level Synthesis} \blank[1cm] - {\bfb Late Stage Review} + {\bfb\ss Late Stage Review} \blank[2cm] {\rma Yann Herklotz Grave} \blank[5cm] |