linkcolor=black (less noisy text);
authorwenzelm
Thu, 15 May 2008 17:37:20 +0200
changeset 26900e37358673f87
parent 26899 29bb3d1de3bc
child 26901 d1694ef6e7a7
linkcolor=black (less noisy text);
doc-src/IsarRef/isar-ref.tex
     1.1 --- a/doc-src/IsarRef/isar-ref.tex	Thu May 15 17:37:18 2008 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Thu May 15 17:37:20 2008 +0200
     1.3 @@ -9,6 +9,7 @@
     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}