TenjintShell.highlighting\_style ================================ .. currentmodule:: tenjint.plugins.interactive .. autoattribute:: TenjintShell.highlighting_style