1.1 --- a/doc-src/IsarRef/isar-ref.tex	Thu May 15 18:03:47 2008 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Thu May 15 18:04:02 2008 +0200
     1.3 @@ -9,7 +9,6 @@
     1.4  \usepackage{../ttbox,,../rail,../railsetup}
     1.5  \usepackage{style}
     1.6  \usepackage{../pdfsetup}
     1.7 -\definecolor{linkcolor}{rgb}{0,0,0}
     1.8  
     1.9  \hyphenation{Isabelle}
    1.10  \hyphenation{Isar}

     2.1 --- a/doc-src/pdfsetup.sty	Thu May 15 18:03:47 2008 +0200
     2.2 +++ b/doc-src/pdfsetup.sty	Thu May 15 18:04:02 2008 +0200
     2.3 @@ -16,7 +16,7 @@
     2.4  \fi
     2.5  
     2.6  \usepackage{color}
     2.7 -\definecolor{linkcolor}{rgb}{0,0,0.5}
     2.8 +\definecolor{linkcolor}{rgb}{0,0,0}
     2.9  
    2.10  \usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}
    2.11  \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}