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;
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@17698
     6
\message{pdfsetup.sty v0.2 28/9/2005}
wenzelm@17698
     7
\RequirePackage{ifpdf}
wenzelm@17698
     8
\ifpdf
wenzelm@17698
     9
  \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
wenzelm@17698
    10
  \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
paulson@11413
    11
              %no a4paper because overall style sets this (not for Springer!)
wenzelm@17698
    12
  \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}
wenzelm@17698
    13
  \gdef\fnote#1{\hyperpage{#1}n}
wenzelm@17698
    14
  \gdef\bold#1{\textbf{\hyperpage{#1}}}
wenzelm@17698
    15
\else
wenzelm@17698
    16
  \usepackage{../url}
wenzelm@17698
    17
  \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}
wenzelm@17698
    18
\fi
wenzelm@8891
    19
wenzelm@8891
    20
\urlstyle{rm}