doc theme change, now without bug