Fix coverage settings.
Fix docs theme.
Ooops. Remove silly tab.
Fix issues in the docs.