Switch doc theme to Bootstrap.