\typeout{CerCo-specific declarations and macros}

\pdfcompresslevel9
\usepackage[pdftex]{graphicx}
\usepackage{latexsym, amssymb, amsfonts}

\usepackage[a4paper=true,  bookmarks=true, linkcolor=black, citecolor=black, urlcolor=black,colorlinks=true,pagecolor=black, breaklinks=true, bookmarksopen=true]{hyperref}


\usepackage{alltt}

\addtolength{\topmargin}{-1.7cm}
\addtolength{\oddsidemargin}{-1.5cm}
\addtolength{\evensidemargin}{-1.5cm}
\addtolength{\textwidth}{3cm}
\addtolength{\textheight}{3.4cm}

%\def\mowgli{\scsys{CerCo}}
\def\cerco{CerCo}

\endinput