author | haftmann |
Mon, 04 Oct 2010 14:46:49 +0200 | |
changeset 39919 | 9f6503aaa77d |
parent 30873 | 105e887994d0 |
child 40402 | b646316f8b3c |
permissions | -rw-r--r-- |
%% %% hyperref setup -- special version for Isabelle documentation %% \usepackage{ifpdf} \usepackage{color} \definecolor{linkcolor}{rgb}{0,0,0} \usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref} \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}} \gdef\fnote#1{\hyperpage{#1}n} \gdef\bold#1{\textbf{\hyperpage{#1}}} \urlstyle{rm} \ifpdf\relax\else\renewcommand{\url}[1]{\nolinkurl{#1}}\fi