--- a/doc-src/IsarRef/isar-ref.tex Thu May 15 18:03:47 2008 +0200
+++ b/doc-src/IsarRef/isar-ref.tex Thu May 15 18:04:02 2008 +0200
@@ -9,7 +9,6 @@
\usepackage{../ttbox,,../rail,../railsetup}
\usepackage{style}
\usepackage{../pdfsetup}
-\definecolor{linkcolor}{rgb}{0,0,0}
\hyphenation{Isabelle}
\hyphenation{Isar}
--- a/doc-src/pdfsetup.sty Thu May 15 18:03:47 2008 +0200
+++ b/doc-src/pdfsetup.sty Thu May 15 18:04:02 2008 +0200
@@ -16,7 +16,7 @@
\fi
\usepackage{color}
-\definecolor{linkcolor}{rgb}{0,0,0.5}
+\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}}}