doc-src/IsarOverview/Isar/document/pdfsetup.sty
author wenzelm
Thu, 09 Jun 2005 12:06:38 +0200
changeset 16353 94e565ded526
parent 14981 e73f8140af78
child 17175 1eced27ee0e1
permissions -rw-r--r--
updated;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13999
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     1
%%
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     2
%% Author: Markus Wenzel, TU Muenchen
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     3
%%
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     4
%% smart url or hyperref setup
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     5
%%
16353
94e565ded526 updated;
wenzelm
parents: 14981
diff changeset
     6
%% $Id$
13999
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     7
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     8
\@ifundefined{pdfoutput}
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     9
{\usepackage{url}}
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    10
{\usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    11
  \usepackage[pdftex,a4paper,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    12
  \IfFileExists{thumbpdf.sty}{\usepackage{thumbpdf}}{}}