doc-src/IsarOverview/Isar/document/pdfsetup.sty
author haftmann
Wed, 21 Sep 2005 10:32:24 +0200
changeset 17540 f662416aa5f2
parent 17536 1b7c2f7df2e6
child 17699 04d51df0c328
permissions -rw-r--r--
removed assoc, overwrite
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13999
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     1
%%
17536
1b7c2f7df2e6 updated;
wenzelm
parents: 17175
diff changeset
     2
%% 
13999
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
%%
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     6
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     7
\@ifundefined{pdfoutput}
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     8
{\usepackage{url}}
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     9
{\usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    10
  \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
    11
  \IfFileExists{thumbpdf.sty}{\usepackage{thumbpdf}}{}}