1 %% $Id$ |
1 %% $Id$ |
2 %% |
2 %% |
3 %% smart url or hyperref setup -- special version for Isabelle documentation |
3 %% smart url or hyperref setup -- special version for Isabelle documentation |
4 %% |
4 %% |
5 |
5 |
6 \message{pdfsetup.sty v0.2 28/9/2005} |
6 \message{pdfsetup.sty v0.3 29/9/2005} |
7 \RequirePackage{ifpdf} |
7 |
8 \ifpdf |
8 \newif\ifpdfoutput |
|
9 \ifx\pdfoutput\undefined |
|
10 \else |
|
11 \ifx\pdfoutput\relax |
|
12 \else |
|
13 \ifcase\pdfoutput |
|
14 \else\pdfoutputtrue\fi |
|
15 \fi |
|
16 \fi |
|
17 |
|
18 \ifpdfoutput |
|
19 \message{PDF output} |
9 \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5} |
20 \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5} |
10 \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref} |
21 \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref} |
11 %no a4paper because overall style sets this (not for Springer!) |
22 %no a4paper because overall style sets this (not for Springer!) |
12 \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}} |
23 \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}} |
13 \gdef\fnote#1{\hyperpage{#1}n} |
24 \gdef\fnote#1{\hyperpage{#1}n} |
14 \gdef\bold#1{\textbf{\hyperpage{#1}}} |
25 \gdef\bold#1{\textbf{\hyperpage{#1}}} |
15 \else |
26 \else |
|
27 \message{No PDF output} |
16 \usepackage{../url} |
28 \usepackage{../url} |
17 \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}} |
29 \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}} |
18 \fi |
30 \fi |
19 |
31 |
20 \urlstyle{rm} |
32 \urlstyle{rm} |