Whether to print the document with highlighted syntax.
The value of this property cannot be changed anymore after the first call to the [[email protected]] function.