doc-src/pdfsetup.sty
author nipkow
Sun Mar 02 15:02:06 2008 +0100 (2008-03-02)
changeset 26191 ae537f315b34
parent 22734 790f73fa8b36
child 26899 29bb3d1de3bc
permissions -rw-r--r--
Generalized Zorn and added well-ordering theorem
wenzelm@17698
     1
%% $Id$
wenzelm@17698
     2
%%
wenzelm@17698
     3
%% smart url or hyperref setup -- special version for Isabelle documentation
wenzelm@17698
     4
%%
wenzelm@17698
     5
wenzelm@17725
     6
\message{pdfsetup.sty v0.3 29/9/2005}
wenzelm@17725
     7
wenzelm@17725
     8
\newif\ifpdfoutput
wenzelm@17725
     9
\ifx\pdfoutput\undefined
wenzelm@17725
    10
\else
wenzelm@17725
    11
  \ifx\pdfoutput\relax
wenzelm@17725
    12
  \else
wenzelm@17725
    13
    \ifcase\pdfoutput
wenzelm@17725
    14
    \else\pdfoutputtrue\fi
wenzelm@17725
    15
  \fi
wenzelm@17725
    16
\fi
wenzelm@17725
    17
wenzelm@17725
    18
\ifpdfoutput
wenzelm@17725
    19
  \message{PDF output}
wenzelm@17698
    20
  \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
krauss@22734
    21
  \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue,pdfpagelabels]{hyperref}
paulson@11413
    22
              %no a4paper because overall style sets this (not for Springer!)
wenzelm@17698
    23
  \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}
wenzelm@17698
    24
  \gdef\fnote#1{\hyperpage{#1}n}
wenzelm@17698
    25
  \gdef\bold#1{\textbf{\hyperpage{#1}}}
wenzelm@17698
    26
\else
wenzelm@17725
    27
  \message{No PDF output}
wenzelm@18527
    28
  \def\phantomsection{\relax}
wenzelm@17698
    29
  \usepackage{../url}
wenzelm@17698
    30
  \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}
wenzelm@17698
    31
\fi
wenzelm@8891
    32
wenzelm@8891
    33
\urlstyle{rm}