doc-src/pdfsetup.sty
author haftmann
Tue, 08 Aug 2006 08:47:36 +0200
changeset 20358 ccad73da6f61
parent 18527 88abdee3e23f
child 22734 790f73fa8b36
permissions -rw-r--r--
added code_constname keyword
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17698
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty;
wenzelm
parents: 12636
diff changeset
     1
%% $Id$
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty;
wenzelm
parents: 12636
diff changeset
     2
%%
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty;
wenzelm
parents: 12636
diff changeset
     3
%% smart url or hyperref setup -- special version for Isabelle documentation
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty;
wenzelm
parents: 12636
diff changeset
     4
%%
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty;
wenzelm
parents: 12636
diff changeset
     5
17725
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
     6
\message{pdfsetup.sty v0.3 29/9/2005}
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
     7
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
     8
\newif\ifpdfoutput
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
     9
\ifx\pdfoutput\undefined
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
    10
\else
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
    11
  \ifx\pdfoutput\relax
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
    12
  \else
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
    13
    \ifcase\pdfoutput
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
    14
    \else\pdfoutputtrue\fi
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
    15
  \fi
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
    16
\fi
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
    17
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
    18
\ifpdfoutput
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
    19
  \message{PDF output}
17698
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty;
wenzelm
parents: 12636
diff changeset
    20
  \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty;
wenzelm
parents: 12636
diff changeset
    21
  \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
11413
e8095c2d3947 removed a4paper
paulson
parents: 11409
diff changeset
    22
              %no a4paper because overall style sets this (not for Springer!)
17698
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty;
wenzelm
parents: 12636
diff changeset
    23
  \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty;
wenzelm
parents: 12636
diff changeset
    24
  \gdef\fnote#1{\hyperpage{#1}n}
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty;
wenzelm
parents: 12636
diff changeset
    25
  \gdef\bold#1{\textbf{\hyperpage{#1}}}
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty;
wenzelm
parents: 12636
diff changeset
    26
\else
17725
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty;
wenzelm
parents: 17698
diff changeset
    27
  \message{No PDF output}
18527
88abdee3e23f more robust phantomsection;
wenzelm
parents: 18521
diff changeset
    28
  \def\phantomsection{\relax}
17698
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty;
wenzelm
parents: 12636
diff changeset
    29
  \usepackage{../url}
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty;
wenzelm
parents: 12636
diff changeset
    30
  \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty;
wenzelm
parents: 12636
diff changeset
    31
\fi
8891
8760f7cdb326 \urlstyle{rm};
wenzelm
parents: 6643
diff changeset
    32
8760f7cdb326 \urlstyle{rm};
wenzelm
parents: 6643
diff changeset
    33
\urlstyle{rm}