Change docs theme from default to alabaster