diff --git a/doc/chalmerstitle.sty b/doc/chalmerstitle.sty
index a31e8a2..d7332c2 100644
--- a/doc/chalmerstitle.sty
+++ b/doc/chalmerstitle.sty
@@ -44,7 +44,7 @@
 \begingroup
 \thispagestyle{empty}
 {\Huge\@title}\\[.5cm]
-{\Large A formalization of category theory in Cubical Agda}\\[2.5cm]
+{\Large A formalization of category theory in Cubical Agda}\\[6cm]
 \begin{center}
 \includegraphics[width=\linewidth,keepaspectratio]{isomorphism.png}
 \end{center}
diff --git a/doc/isomorphism.png b/doc/isomorphism.png
index 03c5a8b..7338c01 100644
Binary files a/doc/isomorphism.png and b/doc/isomorphism.png differ
diff --git a/doc/main.tex b/doc/main.tex
index 917f74d..ce8bf7f 100644
--- a/doc/main.tex
+++ b/doc/main.tex
@@ -48,7 +48,9 @@
 \makeatletter
 \newcommand*{\rom}[1]{\expandafter\@slowroman\romannumeral #1@}
 \makeatother
+
 \begin{document}
+
 \myfrontmatter
 \pagenumbering{roman}
 \maketitle