1.1 --- a/src/Tools/isac/Doc/pdfsetup.sty	Thu Apr 08 13:09:44 2021 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,7 +0,0 @@
     1.4 -%%
     1.5 -%% default hyperref setup (both for pdf and dvi output)
     1.6 -%%
     1.7 -
     1.8 -\usepackage{color}
     1.9 -\definecolor{linkcolor}{rgb}{0,0,0.5}
    1.10 -\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}