|
@@ -180,7 +180,7 @@
|
|
|
%
|
|
%
|
|
|
% Some versions
|
|
% Some versions
|
|
|
%
|
|
%
|
|
|
-\newcommand{\fpcversion}{0.99.12}
|
|
|
|
|
|
|
+\newcommand{\fpcversion}{0.99.14}
|
|
|
%
|
|
%
|
|
|
% PDF support
|
|
% PDF support
|
|
|
%
|
|
%
|
|
@@ -209,17 +209,6 @@
|
|
|
\lstset{keywordstyle=\bfseries}%
|
|
\lstset{keywordstyle=\bfseries}%
|
|
|
\lstset{blankstring=true}%
|
|
\lstset{blankstring=true}%
|
|
|
%
|
|
%
|
|
|
-% PDF stuff
|
|
|
|
|
-%
|
|
|
|
|
-\ifpdf
|
|
|
|
|
-\usepackage[pdftex,bookmarks=true]{hyperref}
|
|
|
|
|
-\usepackage{times}
|
|
|
|
|
-\usepackage[T1]{fontenc}
|
|
|
|
|
-\pdfcompresslevel=9
|
|
|
|
|
-\pdfpagewidth=210mm
|
|
|
|
|
-\pdfpageheight=297mm
|
|
|
|
|
-\fi
|
|
|
|
|
-%
|
|
|
|
|
% Page settings
|
|
% Page settings
|
|
|
\setlength{\oddsidemargin}{20pt}
|
|
\setlength{\oddsidemargin}{20pt}
|
|
|
\addtolength{\textwidth}{39pt}
|
|
\addtolength{\textwidth}{39pt}
|
|
@@ -232,4 +221,15 @@
|
|
|
\addtolength{\headwidth}{\marginparwidth}
|
|
\addtolength{\headwidth}{\marginparwidth}
|
|
|
\addtolength{\headwidth}{-59pt}
|
|
\addtolength{\headwidth}{-59pt}
|
|
|
%
|
|
%
|
|
|
|
|
+% PDF stuff
|
|
|
|
|
+%
|
|
|
|
|
+\ifpdf
|
|
|
|
|
+\usepackage[pdftex,bookmarks=true]{hyperref}
|
|
|
|
|
+\usepackage{times}
|
|
|
|
|
+\usepackage[T1]{fontenc}
|
|
|
|
|
+\pdfcompresslevel=9
|
|
|
|
|
+\pdfpagewidth=210mm
|
|
|
|
|
+\pdfpageheight=297mm
|
|
|
|
|
+\fi
|
|
|
|
|
+%
|
|
|
% end of fpc.sty
|
|
% end of fpc.sty
|
michael