doc-src/pdfsetup.sty
author wenzelm
Wed Sep 28 15:13:02 2005 +0200 (2005-09-28)
changeset 17698 e86cde1e5b12
parent 12636 5069929098ab
child 17725 d3f55965bdbf
permissions -rw-r--r--
more reliable check for PDF output using ifpdf.sty;
     1 %% $Id$
     2 %%
     3 %% smart url or hyperref setup -- special version for Isabelle documentation
     4 %%
     5 
     6 \message{pdfsetup.sty v0.2 28/9/2005}
     7 \RequirePackage{ifpdf}
     8 \ifpdf
     9   \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}
    11               %no a4paper because overall style sets this (not for Springer!)
    12   \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}
    13   \gdef\fnote#1{\hyperpage{#1}n}
    14   \gdef\bold#1{\textbf{\hyperpage{#1}}}
    15 \else
    16   \usepackage{../url}
    17   \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}
    18 \fi
    19 
    20 \urlstyle{rm}