%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\note}[1]{\color{red}**#1**}
-\newcommand{\file}[1]{\mbox{\emph{#1}}}
+\newcommand{\file}[1]{\emph{#1}}
\newcommand{\type}[1]{#1}
\newcommand{\spec}[1]{#1}
\newcommand{\indextype}[1]{\index{#1@\type{#1}}}