doc-src/IsarAdvanced/Codegen/Thy/document/pdfsetup.sty
author haftmann
Wed, 11 Oct 2006 08:57:47 +0200
changeset 20967 1df105407f87
permissions -rw-r--r--
added tex files to CVS
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
20967
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
     1
%%
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
     2
%% 
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
     3
%%
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
     4
%% smart url or hyperref setup
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
     5
%%
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
     6
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
     7
\newif\ifpdfoutput
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
     8
\ifx\pdfoutput\undefined
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
     9
\else
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    10
  \ifx\pdfoutput\relax
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    11
  \else
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    12
    \ifcase\pdfoutput
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    13
    \else\pdfoutputtrue\fi
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    14
  \fi
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    15
\fi
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    16
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    17
\ifpdfoutput
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    18
  \message{PDF output}
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    19
  \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    20
  \usepackage[pdftex,a4paper,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    21
  \IfFileExists{thumbpdf.sty}{\usepackage{thumbpdf}}{}
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    22
\else
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    23
  \message{No PDF output}
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    24
  \usepackage{url}
1df105407f87 added tex files to CVS
haftmann
parents:
diff changeset
    25
\fi