doc-src/pdfsetup.sty
author aspinall
Sun Dec 31 15:34:21 2006 +0100 (2006-12-31)
changeset 21973 e7c9b0d3ce82
parent 18527 88abdee3e23f
child 22734 790f73fa8b36
permissions -rw-r--r--
Quote arguments in PGIP exceptions. Tune comment.
     1 %% $Id$
     2 %%
     3 %% smart url or hyperref setup -- special version for Isabelle documentation
     4 %%
     5 
     6 \message{pdfsetup.sty v0.3 29/9/2005}
     7 
     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}
    20   \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
    21   \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
    22               %no a4paper because overall style sets this (not for Springer!)
    23   \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}
    24   \gdef\fnote#1{\hyperpage{#1}n}
    25   \gdef\bold#1{\textbf{\hyperpage{#1}}}
    26 \else
    27   \message{No PDF output}
    28   \def\phantomsection{\relax}
    29   \usepackage{../url}
    30   \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}
    31 \fi
    32 
    33 \urlstyle{rm}