From 852eb0757fe8c4e0a7b115739f09728d780f769d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= <fhi.1990@gmail.com>
Date: Wed, 2 May 2018 13:24:01 +0200
Subject: [PATCH] Use noto on title-page

---
 doc/chalmerstitle.sty | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

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