Fix unintended showing of failure navigator in bootstrap theme.
Fixes #448.