\newcommand{\frontpage}{
\begin{minipage}[b][\coverheight][c]{\coverwidth}
\hbox{}\hfill
\begin{minipage}[b][\coverheight][t]{0.83\coverwidth}
\color{covertext}
\vspace{\OPTtopskip}
{\fontsize{\OPTcovertitlefont}{\OPTcovertitlefont}\fontseries{b}\selectfont%
  \hfill Homotopy\par \hfill Type Theory}\par
\vspace*{\OPTcovertitleskip}
{\fontsize{\OPTcoversubtitlefont}{\OPTcoversubtitlefont}\fontshape{it}\selectfont
\hfill Univalent Foundations of Mathematics}

\vfill

{\fontsize{\OPTcoverauthorfont}{\OPTcoverauthorfont}\fontseries{b}\fontshape{sc}\selectfont

\hfill The Univalent Foundations Program
\par
\vspace*{\OPTcoverauthorskip}
\hfill Institute for Advanced Study\par

\vspace*{\OPTbotskip}
}

\end{minipage}\hfill\hbox{}
\end{minipage}
}
