Hide tabs when video player is visible.

This is to remove boring whitespace that should be irrelevant since we
don't have tab-specific video players, but only one. If this invokes
confusion, we'll reconsider.