2 \definecolor{darkgreen}{rgb}{0,.7,0}
3 \definecolor{darkred}{rgb}{.7,0,0}
4 \newcommand{\Smiley}{{\color{darkgreen}\smiley}}
5 \newcommand{\Frownie}{{\color{darkred}\frownie}}
6 \usepackage[utf8]{inputenc}
8 \usepackage[OT1]{fontenc}
14 \lstset{basicstyle=\ttfamily}
15 \beamertemplatetransparentcovereddynamic
16 \setbeamercovered{invisible}
17 \newcommand{\br}{\vskip 1em}
18 \newcommand{\hbr}{\vskip 0.5em}
19 \newcommand{\hhbr}{\vskip 0.25em}
20 \newcommand{\Arr}{\textbf{$\Rightarrow$}\xspace}
21 \newcommand{\arr}{\textbf{$\rightarrow$}\xspace}
22 \newcommand{\fixme}[1]{ {\color{red}\footnotesize\bf #1}}
26 \usetikzlibrary{dateplot}
27 \newcommand{\textttc}[1]{\texttt{\color{rouge}#1}}
29 \renewcommand{\ttdefault}{aett}
32 \newcommand{\pedp}{\NoAutoSpaceBeforeFDP}
34 \logo{\includegraphics[viewport=274 335 360 440,width=0.5cm]{figs/openlogo-nd.pdf}}
35 \newcommand{\nospace}[1]{{\NoAutoSpaceBeforeFDP{}#1}}%
41 \tableofcontents[currentsection,hideallsubsections]
45 \newcommand{\backupbegin}{
46 \newcounter{framenumbervorappendix}
47 \setcounter{framenumbervorappendix}{\value{framenumber}}
49 \newcommand{\backupend}{
50 \addtocounter{framenumbervorappendix}{-\value{framenumber}}
51 \addtocounter{framenumber}{\value{framenumbervorappendix}}