maintenance update, switching docs theme back to default