% Written by Martin Mares <mj@ucw.cz> in 2010 and placed into public domain
% -------------------------------------------------------------------------
% Written by Martin Mares <mj@ucw.cz> in 2010 and placed into public domain
% -------------------------------------------------------------------------
\def\twelvepoint{\settextsize{12}}
% Re-define \tt, so that it works in both text and math mode
\def\twelvepoint{\settextsize{12}}
% Re-define \tt, so that it works in both text and math mode