summaryrefslogtreecommitdiffstats
path: root/title.tex
diff options
context:
space:
mode:
Diffstat (limited to 'title.tex')
-rw-r--r--title.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/title.tex b/title.tex
index 8c59a5e..4571680 100644
--- a/title.tex
+++ b/title.tex
@@ -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]