-
Notifications
You must be signed in to change notification settings - Fork 4
/
latexmacros.tex
60 lines (52 loc) · 1.91 KB
/
latexmacros.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
\usepackage{etex,datetime,setspace,latexsym,amssymb,amsmath,amsthm}
\usepackage{fancybox,dialogue,float,wrapfig,enumerate,microtype}
\usepackage{verbatim,xcolor,multicol,titlesec,tabularx,mdframed}
\usepackage[utf8]{inputenc}
\usepackage[pdftex]{hyperref}
\usepackage[margin=2cm,bottom=3cm,footskip=15mm]{geometry}
\parindent0cm
\parskip0.5em
\usepackage{tikz}
\usetikzlibrary{arrows,trees,positioning,shapes,patterns}
\usetikzlibrary{intersections,calc,fpu,decorations.pathreplacing}
\usepackage[T1]{fontenc} % better fonts
% Haskell code listings in our own style
\usepackage{listings,color}
\definecolor{lightgrey}{gray}{0.35}
\definecolor{darkgrey}{gray}{0.20}
\definecolor{lightestyellow}{rgb}{1,1,0.92}
\definecolor{dkgreen}{rgb}{0,.2,0}
\definecolor{dkblue}{rgb}{0,0,.2}
\definecolor{dkyellow}{cmyk}{0,0,.7,.5}
\definecolor{lightgrey}{gray}{0.4}
\definecolor{gray}{gray}{0.50}
\lstset{
language = Haskell,
basicstyle = \scriptsize\ttfamily,
keywordstyle = \color{dkblue}, stringstyle = \color{red},
identifierstyle = \color{dkgreen}, commentstyle = \color{gray},
showspaces = false, showstringspaces= false,
rulecolor = \color{gray}, showtabs = false,
tabsize = 8, breaklines = true,
xleftmargin = 8pt, xrightmargin = 8pt,
frame = single, stepnumber = 1,
aboveskip = 2pt plus 1pt,
belowskip = 8pt plus 3pt
}
\lstnewenvironment{code}[0]{}{}
% only shown, not compiled:
\lstnewenvironment{showCode}[0]{\lstset{numbers=none}}{}
% only compiled, not shown:
\newcommand{\hide}[1]{}
% will the real phi please stand up
\renewcommand{\phi}{\varphi}
% load hyperref as late as possible for compatibility
\usepackage[pdftex]{hyperref}
\hypersetup{
pdfborder = {0 0 0},
breaklinks = true,
linktoc = all,
}
\pdfinfoomitdate=1
\pdftrailerid{}
\pdfsuppressptexinfo15