git.iko.soy/Idris-dev
on d1663cc help sign in
Idris-dev/tutorial/conf.ltx
17 lines 293 B history raw
1%% This file contains configurations of used packages
3\lstset{%
4 basicstyle=\ttfamily,
5 xleftmargin=\parindent,
6 tabsize=2
7}
10% Configuration of hyperref (to not use colors):
11\hypersetup{
12 colorlinks,
13 linkcolor=black,
14 citecolor=black,
15 filecolor=black,
16 urlcolor=black