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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11409
f0bcb3dfa7d6 messages, and proper treatment of footnotes
paulson
parents: 8891
diff changeset
     1
\message{pdfsetup.sty v0.1 11/7/2001}
12551
f44734e5e746 hyperlinks in DVI mode
paulson
parents: 11570
diff changeset
     2
\@ifundefined{pdfoutput}{\message{No PDF output}%
f44734e5e746 hyperlinks in DVI mode
paulson
parents: 11570
diff changeset
     3
  \usepackage{../url}%
12636
5069929098ab \hfootref: use \url markup;
wenzelm
parents: 12561
diff changeset
     4
  \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}}%
11409
f0bcb3dfa7d6 messages, and proper treatment of footnotes
paulson
parents: 8891
diff changeset
     5
{\message{Generating PDF output}%
11570
3e3b63fe1e48 use darkblue for all links;
wenzelm
parents: 11413
diff changeset
     6
  \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}%
3e3b63fe1e48 use darkblue for all links;
wenzelm
parents: 11413
diff changeset
     7
  \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}%
11413
e8095c2d3947 removed a4paper
paulson
parents: 11409
diff changeset
     8
              %no a4paper because overall style sets this (not for Springer!)
12636
5069929098ab \hfootref: use \url markup;
wenzelm
parents: 12561
diff changeset
     9
  \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}%
12561
8cf9d9a3a327 new hfootref macro for Web links
paulson
parents: 12551
diff changeset
    10
  \gdef\fnote#1{\hyperpage{#1}n}%
6643
ff827fccffb5 ad-hoc fix for bold indexes;
wenzelm
parents: 6623
diff changeset
    11
  \gdef\bold#1{\textbf{\hyperpage{#1}}}}
8891
8760f7cdb326 \urlstyle{rm};
wenzelm
parents: 6643
diff changeset
    12
8760f7cdb326 \urlstyle{rm};
wenzelm
parents: 6643
diff changeset
    13
\urlstyle{rm}