1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/IsarRef/Thy/document/pdfsetup.sty	Tue Apr 22 13:35:26 2008 +0200
     1.3 @@ -0,0 +1,25 @@
     1.4 +%%
     1.5 +%% 
     1.6 +%%
     1.7 +%% smart url or hyperref setup
     1.8 +%%
     1.9 +
    1.10 +\newif\ifpdfoutput
    1.11 +\ifx\pdfoutput\undefined
    1.12 +\else
    1.13 +  \ifx\pdfoutput\relax
    1.14 +  \else
    1.15 +    \ifcase\pdfoutput
    1.16 +    \else\pdfoutputtrue\fi
    1.17 +  \fi
    1.18 +\fi
    1.19 +
    1.20 +\ifpdfoutput
    1.21 +  \message{PDF output}
    1.22 +  \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
    1.23 +  \usepackage[pdftex,a4paper,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
    1.24 +  \IfFileExists{thumbpdf.sty}{\usepackage{thumbpdf}}{}
    1.25 +\else
    1.26 +  \message{No PDF output}
    1.27 +  \usepackage{url}
    1.28 +\fi