41 \usepackage[utf8]{inputenc} % Required for inputting international characters |
41 \usepackage[utf8]{inputenc} % Required for inputting international characters |
42 \usepackage[T1]{fontenc} % Output font encoding for international characters |
42 \usepackage[T1]{fontenc} % Output font encoding for international characters |
43 %\usepackage{fdsymbol} % Loads unicode-math |
43 %\usepackage{fdsymbol} % Loads unicode-math |
44 |
44 |
45 \usepackage{cancel} |
45 \usepackage{cancel} |
|
46 |
|
47 \usepackage{listings} |
|
48 \usepackage{xcolor} |
|
49 \usepackage{beramono} |
46 |
50 |
47 \usepackage{verbatim} |
51 \usepackage{verbatim} |
48 \usepackage{float} |
52 \usepackage{float} |
49 \usepackage{mathpazo} % Use the Palatino font by default |
53 \usepackage{mathpazo} % Use the Palatino font by default |
50 \usepackage{hyperref} |
54 \usepackage{hyperref} |
107 \usepackage{mathpartir} |
111 \usepackage{mathpartir} |
108 \usepackage{stackrel} |
112 \usepackage{stackrel} |
109 |
113 |
110 \DeclareCaptionType{mytype}[Illustration][] |
114 \DeclareCaptionType{mytype}[Illustration][] |
111 \newenvironment{envForCaption}{\captionsetup{type=mytype} }{} |
115 \newenvironment{envForCaption}{\captionsetup{type=mytype} }{} |
|
116 |
|
117 \pgfplotsset{ |
|
118 myplotstyle/.style={ |
|
119 legend style={draw=none, font=\small}, |
|
120 legend cell align=left, |
|
121 legend pos=north east, |
|
122 ylabel style={align=center, font=\bfseries\boldmath}, |
|
123 xlabel style={align=center, font=\bfseries\boldmath}, |
|
124 x tick label style={font=\bfseries\boldmath}, |
|
125 y tick label style={font=\bfseries\boldmath}, |
|
126 scaled ticks=true, |
|
127 every axis plot/.append style={thick}, |
|
128 }, |
|
129 } |
|
130 |
|
131 \definecolor{dkgreen}{rgb}{0,0.6,0} |
|
132 \definecolor{gray}{rgb}{0.5,0.5,0.5} |
|
133 \definecolor{mauve}{rgb}{0.58,0,0.82} |
|
134 \lstdefinestyle{myScalastyle}{ |
|
135 frame=tb, |
|
136 language=scala, |
|
137 aboveskip=3mm, |
|
138 belowskip=3mm, |
|
139 showstringspaces=false, |
|
140 columns=flexible, |
|
141 basicstyle={\small\ttfamily}, |
|
142 numbers=none, |
|
143 numberstyle=\tiny\color{gray}, |
|
144 keywordstyle=\color{blue}, |
|
145 commentstyle=\color{dkgreen}, |
|
146 stringstyle=\color{mauve}, |
|
147 frame=single, |
|
148 breaklines=true, |
|
149 breakatwhitespace=true, |
|
150 tabsize=3, |
|
151 } |
|
152 |
112 |
153 |
113 %---------------------------------------------------------------------------------------- |
154 %---------------------------------------------------------------------------------------- |
114 % MARGIN SETTINGS |
155 % MARGIN SETTINGS |
115 %---------------------------------------------------------------------------------------- |
156 %---------------------------------------------------------------------------------------- |
116 |
157 |