From 433f6cf9cb6b6acfaf7094bd8727a87718a20830 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 6 Apr 2022 20:48:13 +0100
Subject: Fix up the fonts

---
 main.tex | 28 +++++++++++++++++++++++++++-
 1 file changed, 27 insertions(+), 1 deletion(-)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index edda3e6..9b94bd6 100644
--- a/main.tex
+++ b/main.tex
@@ -15,13 +15,24 @@
   conclusion
 }
 
+\linespread{1.3}
+
 \usepackage{graphicx}
 \usepackage{amsmath}
-\usepackage[utf8]{inputenc}
+\usepackage{amsthm}
+
+\usepackage[british]{babel}
+%\usepackage[utf8]{inputenc}
 \usepackage[sc]{mathpazo}
 \usepackage{newpxmath}
+\usepackage{newpxtext}
+\usepackage{inconsolata}
+\usepackage{microtype}
 \addtokomafont{disposition}{\rmfamily}
 
+\usepackage[natbib=true,style=alphabetic]{biblatex}
+\addbibresource{references.bib}
+
 \usepackage{epigraph}
 \setlength\epigraphwidth{1\textwidth}
 \setlength\epigraphrule{0pt} % no line between
@@ -37,6 +48,19 @@
 \newcommand{\ymhfw}{\textcolor{ymhfwcol}{FW}}
 \newcommand{\ymhwip}{\textcolor{ymhwipcol}{WIP}}
 
+\newtheorem{theorem}{Theorem}
+\newtheorem{lemma}{Lemma}
+\newtheorem*{remark}{Remark}
+
+\hyphenation{Comp-Cert}
+\hyphenation{Veri-cert}
+\hyphenation{Poly-Bench}
+\hyphenation{Leg-Up}
+\hyphenation{straight-for-ward}
+\hyphenation{cor-re-la-tion}
+\hyphenation{gram-schmi-dt}
+\hyphenation{de-riche}
+
 \begin{document}
 
 \maketitle
@@ -52,4 +76,6 @@
 \include{schedule}
 \include{conclusion}
 
+\printbibliography{}
+
 \end{document}
-- 
cgit