wneuper/isa: doc-src/pdfsetup.sty@790f73fa8b36

     1 %% $Id$

     2 %%

     3 %% smart url or hyperref setup -- special version for Isabelle documentation

     4 %%

     6 \message{pdfsetup.sty v0.3 29/9/2005}

     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

    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,pdfpagelabels]{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

    33 \urlstyle{rm}

author	krauss
	Fri, 20 Apr 2007 10:09:32 +0200
changeset 22734	790f73fa8b36
parent 18527	88abdee3e23f
child 26899	29bb3d1de3bc
permissions	-rw-r--r--