doc-src/IsarOverview/Isar/document/pdfsetup.sty
author haftmann
Mon, 18 Jul 2005 14:10:11 +0200
changeset 16869 bc98da5727be
parent 16353 94e565ded526
child 17175 1eced27ee0e1
permissions -rw-r--r--
reverted from fold_yield to fold_map
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}}{}}