# HG changeset patch
# User wenzelm
# Date 1210865840 -7200
# Node ID e37358673f870c0d0cade4dfd2ceb1bf58cc12ba
# Parent  29bb3d1de3bce1b72aa41b7dbf6cf8f1f630da9d
linkcolor=black (less noisy text);

diff -r 29bb3d1de3bc -r e37358673f87 doc-src/IsarRef/isar-ref.tex
--- 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}