travel/pdfsetup.sty
author chunhan
Fri, 21 Aug 2015 08:40:47 +0800
changeset 313 d2e23ab2fbdf
parent 108 6eddc106f3c6
permissions -rwxr-xr-x
Ramana paid 359 GBP, enough to cover Isabelle

%%
%% default hyperref setup (both for pdf and dvi output)
%%

\usepackage{color}
\definecolor{linkcolor}{rgb}{0,0,0.5}
\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor]{hyperref}