src/Tools/isac/Doc/pdfsetup.sty
author Walther Neuper <walther.neuper@jku.at>
Wed, 11 Mar 2020 15:25:52 +0100
changeset 59827 168abe8dd1e3
permissions -rw-r--r--
start formally checked documentation with Lucas_Interpreter

note: the text is a partial copy from the IJCAR/ThEdu'20 paper
     1 %%
     2 %% default hyperref setup (both for pdf and dvi output)
     3 %%
     4 
     5 \usepackage{color}
     6 \definecolor{linkcolor}{rgb}{0,0,0.5}
     7 \usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}