diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-04-06 20:48:13 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-06 20:48:13 +0100 |
commit | 433f6cf9cb6b6acfaf7094bd8727a87718a20830 (patch) | |
tree | 613d5fc871f693c01d93a169a8e46b6368e19e4f /main.tex | |
parent | 73cc2ae3a0f472d43216208b7d12dd060d93b2f0 (diff) | |
download | lsr22_fvhls-433f6cf9cb6b6acfaf7094bd8727a87718a20830.tar.gz lsr22_fvhls-433f6cf9cb6b6acfaf7094bd8727a87718a20830.zip |
Fix up the fonts
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 28 |
1 files changed, 27 insertions, 1 deletions
@@ -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} |