lib/texinputs/pdfsetup.sty
author wenzelm
Sat, 14 Jun 2008 23:52:51 +0200
changeset 27221 31328dc30196
parent 26917 1e5b8d0dd6c9
child 29145 b1c6f4563df7
permissions -rw-r--r--
proper context for tactics derived from res_inst_tac;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7736
847cd420a928 conditional url/hyperref setup;
wenzelm
parents:
diff changeset
     1
%%
17531
0bc8ae586a7c tuned headers;
wenzelm
parents: 16064
diff changeset
     2
%% $Id$
7736
847cd420a928 conditional url/hyperref setup;
wenzelm
parents:
diff changeset
     3
%%
26915
f086011617b0 removed obsolete \ifpdfoutput;
wenzelm
parents: 26909
diff changeset
     4
%% default hyperref setup (both for pdf and dvi output)
7736
847cd420a928 conditional url/hyperref setup;
wenzelm
parents:
diff changeset
     5
%%
847cd420a928 conditional url/hyperref setup;
wenzelm
parents:
diff changeset
     6
26909
f42d638c5f07 load color/hyperref unconditionally;
wenzelm
parents: 17725
diff changeset
     7
\usepackage{color}
f42d638c5f07 load color/hyperref unconditionally;
wenzelm
parents: 17725
diff changeset
     8
\definecolor{linkcolor}{rgb}{0,0,0.5}
26917
1e5b8d0dd6c9 removed unnecessary/untrusive a4paper option;
wenzelm
parents: 26915
diff changeset
     9
\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor]{hyperref}