Olga edited header.tex  over 9 years ago

Commit id: 4e553a1cb6156beec88fb4138a6383c9e705eed9

deletions | additions      

       

\renewcommand{\normalsize}[1]{#1}