on master help sign in
made TOC in tutorial clickable but still without color
commit1819feaaf8985681c16ff9aee24a90a879b0e1b4 authorMekeor Melire <mekeor@ymail.com> dateFri 24 Feb 2012, 13:25 (15 years ago) parent1c2098a
3 files changed+14
tutorial/conf.ltx+12 tutorial/idris-tutorial.pdf tutorial/idris-tutorial.tex+2
tutorial/conf.ltxnew file+12
@@ -0,0 +1,12 @@
1+
2+%% This file contains configurations of used packages
3+
4+
5+% Configuration of hyperref (to not use colors):
6+\hypersetup{
7+ colorlinks,
8+ linkcolor=black,
9+ citecolor=black,
10+ filecolor=black,
11+ urlcolor=black
12+}
tutorial/idris-tutorial.pdf

Binary file not shown.

tutorial/idris-tutorial.tex+2
@@ -4,7 +4,9 @@
44\usepackage{palatino}
55\usepackage{url}
66\usepackage{fancyvrb}
7+\usepackage{hyperref}
78
9+\input{conf.ltx}
810\input{macros.ltx}
911\input{library.ltx}
1012