doc-src/IsarAdvanced/Functions/Thy/document/pdfsetup.sty
author krauss
Tue, 07 Nov 2006 12:20:11 +0100
changeset 21212 547224bf9348
permissions -rw-r--r--
Added a (stub of a) function tutorial
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
21212
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     1
%%
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     2
%% 
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     3
%%
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     4
%% smart url or hyperref setup
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     5
%%
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     6
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     7
\newif\ifpdfoutput
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     8
\ifx\pdfoutput\undefined
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     9
\else
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    10
  \ifx\pdfoutput\relax
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    11
  \else
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    12
    \ifcase\pdfoutput
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    13
    \else\pdfoutputtrue\fi
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    14
  \fi
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    15
\fi
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    16
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    17
\ifpdfoutput
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    18
  \message{PDF output}
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    19
  \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    20
  \usepackage[pdftex,a4paper,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    21
  \IfFileExists{thumbpdf.sty}{\usepackage{thumbpdf}}{}
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    22
\else
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    23
  \message{No PDF output}
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    24
  \usepackage{url}
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    25
\fi