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

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	%%
11570 3e3b63fe1e48 use darkblue for all links; wenzelm parents: 10822 diff changeset	4	%% smart url or hyperref setup
7736 847cd420a928 conditional url/hyperref setup; wenzelm parents: diff changeset	5	%%
847cd420a928 conditional url/hyperref setup; wenzelm parents: diff changeset	6
17725 d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	7	\newif\ifpdfoutput
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	8	\ifx\pdfoutput\undefined
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	9	\else
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	10	\ifx\pdfoutput\relax
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	11	\else
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	12	\ifcase\pdfoutput
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	13	\else\pdfoutputtrue\fi
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	14	\fi
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	15	\fi
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	16
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	17	\ifpdfoutput
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	18	\message{PDF output}
17698 e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 17531 diff changeset	19	\usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
11570 3e3b63fe1e48 use darkblue for all links; wenzelm parents: 10822 diff changeset	20	\usepackage[pdftex,a4paper,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
17698 e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 17531 diff changeset	21	\IfFileExists{thumbpdf.sty}{\usepackage{thumbpdf}}{}
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 17531 diff changeset	22	\else
17725 d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	23	\message{No PDF output}
17698 e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 17531 diff changeset	24	\usepackage{url}
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 17531 diff changeset	25	\fi

author	wenzelm
	Thu, 29 Sep 2005 17:08:52 +0200
changeset 17725	d3f55965bdbf
parent 17698	e86cde1e5b12
child 26909	f42d638c5f07
permissions	-rw-r--r--