Fix highlighting in doc/intro.rst