linkcolor=black (less noisy text);

--- a/doc-src/IsarRef/isar-ref.tex	Thu May 15 17:37:18 2008 +0200
+++ b/doc-src/IsarRef/isar-ref.tex	Thu May 15 17:37:20 2008 +0200
@@ -9,6 +9,7 @@
 \usepackage{../ttbox,,../rail,../railsetup}
 \usepackage{style}
 \usepackage{../pdfsetup}
+\definecolor{linkcolor}{rgb}{0,0,0}
 
 \hyphenation{Isabelle}
 \hyphenation{Isar}