diff --git a/doc/assets/frontpage_eng.pdf b/doc/assets/frontpage_eng.pdf new file mode 100644 index 0000000..63b69ec Binary files /dev/null and b/doc/assets/frontpage_eng.pdf differ diff --git a/doc/assets/frontpage_gu_eng.pdf b/doc/assets/frontpage_gu_eng.pdf new file mode 100644 index 0000000..8c60439 Binary files /dev/null and b/doc/assets/frontpage_gu_eng.pdf differ diff --git a/doc/assets/frontpage_swe.pdf b/doc/assets/frontpage_swe.pdf new file mode 100644 index 0000000..7faff08 Binary files /dev/null and b/doc/assets/frontpage_swe.pdf differ diff --git a/doc/assets/logo_ch_gu.pdf b/doc/assets/logo_ch_gu.pdf new file mode 100644 index 0000000..1a2b18f Binary files /dev/null and b/doc/assets/logo_ch_gu.pdf differ diff --git a/doc/assets/logo_swe.pdf b/doc/assets/logo_swe.pdf new file mode 100644 index 0000000..026b67c Binary files /dev/null and b/doc/assets/logo_swe.pdf differ diff --git a/doc/chalmerstitle.sty b/doc/chalmerstitle.sty index db46ead..489e550 100644 --- a/doc/chalmerstitle.sty +++ b/doc/chalmerstitle.sty @@ -41,6 +41,9 @@ %% FRONTMATTER \newcommand*{\myfrontmatter}{% %% \newgeometry{top=3cm, bottom=3cm,left=2.25 cm, right=2.25cm} + \AddToShipoutPicture*{\backgroundpic{-4}{56.7}{assets/frontpage_gu_eng.pdf}} + \ClearShipoutPicture +\addtolength{\voffset}{2cm} \begingroup \thispagestyle{empty} {\Huge\@title}\\[.5cm] @@ -61,7 +64,7 @@ Master's thesis in Computer Science % BACK OF COVER PAGE (BLANK PAGE) \newpage %% \newgeometry{a4paper} % Temporarily change margins -%% \restoregeometry +\restoregeometry \thispagestyle{empty} \null } diff --git a/doc/main.tex b/doc/main.tex index 74d37b7..5c5492e 100644 --- a/doc/main.tex +++ b/doc/main.tex @@ -30,7 +30,7 @@ \usepackage{chalmerstitle} \subtitle{A formalization of category theory in Cubical Agda} \authoremail{hanghj@student.chalmers.se} -\newcommand{\chalmers}{Chalmers University of Technology} +\newcommand{\chalmers}{Chalmers University of Technology and University of Gothenburg} \supervisor{Thierry Coquand} \supervisoremail{coquand@chalmers.se} \supervisordepartment{\chalmers} diff --git a/doc/packages.tex b/doc/packages.tex index 738bf95..1eb7cce 100644 --- a/doc/packages.tex +++ b/doc/packages.tex @@ -142,3 +142,10 @@ } } \usepackage{ dsfont } + +\usepackage{eso-pic} +\newcommand{\backgroundpic}[3]{ + \put(#1,#2){ + \parbox[b][\paperheight]{\paperwidth}{ + \centering + \includegraphics[width=\paperwidth,height=\paperheight,keepaspectratio]{#3}}}}