diff --git a/docs/fpc.sty b/docs/fpc.sty index db3455e318..002a7f94fd 100644 --- a/docs/fpc.sty +++ b/docs/fpc.sty @@ -88,7 +88,7 @@ \setlength{\labelsep}{0pt}% } {\end{list}} -% +% % remarks % \newenvironment{remark}{\par\makebox[0pt][r]{\bfseries{}Remark:\hspace{.25em}}}{\par} @@ -224,7 +224,7 @@ % PDF stuff % \ifpdf -\usepackage[pdftex,bookmarks=true]{hyperref} +% \usepackage[pdftex,bookmarks=true]{hyperref} \usepackage{times} \usepackage[T1]{fontenc} \pdfcompresslevel=9