--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thys2/Journal/pdfsetup.sty	Mon Nov 01 10:40:21 2021 +0000
@@ -0,0 +1,7 @@
+%%
+%% default hyperref setup (both for pdf and dvi output)
+%%
+
+\usepackage{color}
+\definecolor{linkcolor}{rgb}{0,0,0.5}
+\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}