% Reset typonotes (does not print in text):
\renewcommand*{\typonoteprint}[2]{#1}
\renewcommand*{\transnoteprint}[2]{#1}
\renewcommand*{\varnoteprint}[2]{#1}

% The original version did not work correctly with facing pages:
\renewcommand{\cutpageline}{\pagebreak}

% Change color of indexed names to no color (2018.04.09 ds):
% \renewcommand*{\keyindexformat}[1]{{\color{blue!50!black}#1}}
\renewcommand*{\keyindexformat}[1]{#1}

% The colors for hyperlinks is set in carnap.sty and has to changed
% there to colorlinks=false (2018.04.09 ds).
\hypersetup{hidelinks}
