Switch doc theme to Bootstrap. Plus doc fixes.