# HG changeset patch
# User wenzelm
# Date 1210867442 -7200
# Node ID e90832d7196acb69d1fc1b7e045e1b51e4b5b2cd
# Parent  0542898ab66706db6d62f8893177622e70390504
default linkcolor=black;

diff -r 0542898ab667 -r e90832d7196a doc-src/IsarRef/isar-ref.tex
--- 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}
diff -r 0542898ab667 -r e90832d7196a doc-src/pdfsetup.sty
--- 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}}}