fredefox/cat
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Use noto on title-page

Browse source
This commit is contained in:
Frederik Hanghøj Iversen 2018-05-02 13:24:01 +02:00
parent e8b7a7f17c
commit 852eb0757f
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
doc/chalmerstitle.sty
View file

@ -38,8 +38,10 @@
\newcommand*{\department}[1]{\gdef\@department{#1}} \newcommand*{\department}[1]{\gdef\@department{#1}}
\newcommand*{\researchgroup}[1]{\gdef\@researchgroup{#1}} \newcommand*{\researchgroup}[1]{\gdef\@researchgroup{#1}}
\newcommand*{\subtitle}[1]{\gdef\@subtitle{#1}} \newcommand*{\subtitle}[1]{\gdef\@subtitle{#1}}
\sffamily
\newgeometry{top=3cm, bottom=3cm,left=2.25 cm, right=2.25cm} \newgeometry{top=3cm, bottom=3cm,left=2.25 cm, right=2.25cm}
\begingroup
\usepackage{noto}
%% \fontfamily{noto}\selectfont
{\Huge\@title}\\[.5cm] {\Huge\@title}\\[.5cm]
{\Large A formalization of category theory in Cubical Agda}\\[.5cm] {\Large A formalization of category theory in Cubical Agda}\\[.5cm]
Master's thesis in Computer Science \\[.5cm] Master's thesis in Computer Science \\[.5cm]
@ -47,14 +49,13 @@ Master's thesis in Computer Science \\[.5cm]
\begin{center} \begin{center}
\includegraphics[width=\linewidth,keepaspectratio]{isomorphism.png} \includegraphics[width=\linewidth,keepaspectratio]{isomorphism.png}
\end{center} \end{center}
\endgroup
% Cover text % Cover text
\vfill \vfill
%% \renewcommand{\familydefault}{\sfdefault} \normalfont % Set cover page font %% \renewcommand{\familydefault}{\sfdefault} \normalfont % Set cover page font
\textsc{Department of Computer Science and Engineering}\\ \textsc{Department of Computer Science and Engineering}\\
\textsc{Chalmers University of Technology}\\ \textsc{Chalmers University of Technology}\\
\textsc{University of Gothenburg}\\
\textsc{Gothenburg, Sweden \the\year} \textsc{Gothenburg, Sweden \the\year}
%% \renewcommand{\familydefault}{\rmdefault} \normalfont % Reset standard font %% \renewcommand{\familydefault}{\rmdefault} \normalfont % Reset standard font
%% \end{titlepage} %% \end{titlepage}