diff -r f51d4a302962 -r 5386df44a037 src/Doc/pdfsetup.sty --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Doc/pdfsetup.sty Tue Aug 28 18:57:32 2012 +0200 @@ -0,0 +1,27 @@ +%% +%% 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 + +\def\isaliteral#1#2{#2} +\def\isanil{} + +%experimental treatment of replacement text +\iffalse +\ifnum\pdfminorversion<5\pdfminorversion=5\fi +\renewcommand{\isaliteral}[2]{% +\pdfliteral direct{/Span <>> BDC}#2\pdfliteral direct{EMC}} +\renewcommand{\isanil}{{\color{white}.}} +\fi