Change doc theme and other cleanup