Fabian Homborg cf9b2ff1e5 docs/tutorial: Fix prompt display ... This displays a colored prompt, which we emulate by adding explicit roles that are translated to css classes. For other things, like "eror" this might not be enough because those often need the rest of the line to still be styled, and I've not found a way to add some explicit styling to a code block. See #5696. [ci skip]		2019-05-25 11:47:44 +02:00
..
pygments.css	docs/tutorial: Fix prompt display	2019-05-25 11:47:44 +02:00