docs/background.tex

   1 \documentclass[article, a4paper]{article}
   2 \usepackage[T1]{fontenc}
   3 \usepackage{fixltx2e}
   4 \usepackage{enumitem}
   5 \usepackage[normalem]{ulem}
   6 \usepackage{graphicx}
   7 \usepackage{subcaption}
   8
   9 %% -----------------------------------------------------------------------------
  10 %% Fonts
  11 %% \usepackage[osf]{libertine}
  12 %% \usepackage{helvet}
  13 %% \usepackage{lmodern}
  14 %% \IfFileExists{microtype.sty}{\usepackage{microtype}}{}
  15
  16 %% -----------------------------------------------------------------------------
  17 %% TikZ stuff
  18 %% \usepackage{tikz}
  19 %% \usetikzlibrary{positioning}
  20 %% \usetikzlibrary{shapes}
  21 %% \usetikzlibrary{arrows}
  22 %% \usepackage{tikz-cd}
  23 %% \usepackage{pgfplots}
  24
  25 %% -----------------------------------------------------------------------------
  26 %% Symbols
  27 \usepackage{amssymb,amsmath}
  28 \usepackage{wasysym}
  29 \usepackage{turnstile}
  30 \usepackage{centernot}
  31
  32 %% -----------------------------------------------------------------------------
  33 %% Utils
  34 \usepackage{bussproofs}
  35 \usepackage{umoline}
  36 \usepackage[export]{adjustbox}
  37 \usepackage{multicol}
  38
  39 %% Numbering depth
  40 %% \setcounter{secnumdepth}{0}
  41
  42 %% -----------------------------------------------------------------------------
  43 % We will generate all images so they have a width \maxwidth. This means
  44 % that they will get their normal width if they fit onto the page, but
  45 % are scaled down if they would overflow the margins.
  46 \makeatletter
  47 \def\maxwidth{
  48   \ifdim\Gin@nat@width>\linewidth\linewidth
  49   \else\Gin@nat@width\fi
  50 }
  51 \makeatother
  52
  53 %% -----------------------------------------------------------------------------
  54 %% Links
  55 \usepackage[
  56   setpagesize=false, % page size defined by xetex
  57   unicode=false, % unicode breaks when used with xetex
  58   xetex
  59 ]{hyperref}
  60
  61 \hypersetup{
  62   breaklinks=true,
  63   bookmarks=true,
  64   pdfauthor={Francesco Mazzoli <fm2209@ic.ac.uk>},
  65   pdftitle={The Path Towards Observational Equality},
  66   colorlinks=false,
  67   pdfborder={0 0 0}
  68 }
  69
  70 % Make links footnotes instead of hotlinks:
  71 \renewcommand{\href}[2]{#2\footnote{\url{#1}}}
  72
  73 % avoid problems with \sout in headers with hyperref:
  74 \pdfstringdefDisableCommands{\renewcommand{\sout}{}}
  75
  76 \title{The Path Towards Observational Equality}
  77 \author{Francesco Mazzoli \url{<fm2209@ic.ac.uk>}}
  78 \date{December 2012}
  79
  80 \begin{document}
  81
  82 \maketitle
  83
  84 \end{document}