doc-src/pdfsetup.sty
author obua
Fri, 16 Sep 2005 21:02:15 +0200
changeset 17440 df77edc4f5d0
parent 12636 5069929098ab
child 17698 e86cde1e5b12
permissions -rw-r--r--
fixed HOL-light/Isabelle syntax incompatability via more protect_xxx functions

\message{pdfsetup.sty v0.1 11/7/2001}
\@ifundefined{pdfoutput}{\message{No PDF output}%
  \usepackage{../url}%
  \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}}%
{\message{Generating PDF output}%
  \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}%
  \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}%
              %no a4paper because overall style sets this (not for Springer!)
  \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}%
  \gdef\fnote#1{\hyperpage{#1}n}%
  \gdef\bold#1{\textbf{\hyperpage{#1}}}}

\urlstyle{rm}