isabelle: lib/texinputs/pdfsetup.sty@bf5724694ce5 (annotated)

7736 847cd420a928 conditional url/hyperref setup; wenzelm parents: diff changeset	1	%%
26915 f086011617b0 removed obsolete \ifpdfoutput; wenzelm parents: 26909 diff changeset	2	%% default hyperref setup (both for pdf and dvi output)
7736 847cd420a928 conditional url/hyperref setup; wenzelm parents: diff changeset	3	%%
847cd420a928 conditional url/hyperref setup; wenzelm parents: diff changeset	4
26909 f42d638c5f07 load color/hyperref unconditionally; wenzelm parents: 17725 diff changeset	5	\usepackage{color}
f42d638c5f07 load color/hyperref unconditionally; wenzelm parents: 17725 diff changeset	6	\definecolor{linkcolor}{rgb}{0,0,0.5}
64401 7c780152985b pagecolor no longer exists; wenzelm parents: 29145 diff changeset	7	\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}