Fabian Homborg 62f53e300a docs/tutorial: Replace coloring markup ... This used to use doxygen's html blocks, which don't have a *direct* equivalent in sphinx in code blocks. Instead of adding this to the pygments highlighter, let's just use some roles. It's a teensy bit awkward as we then use block styling, but we want to add more of our own styling anyway, so we can presumably get this somehow, and these html tags look awkward and confuse people. Fix #6640 [ci skip]		2020-02-22 18:03:04 +01:00
..
_static	docs/tutorial: Replace coloring markup	2020-02-22 18:03:04 +01:00
cmds	docs: Correct bind docs on escape delay	2020-02-22 23:33:31 +08:00
commands.rst	docs: Remove explicit .html links	2019-04-30 13:11:33 +02:00
conf.py	docs: restore compatibility with Sphinx < 1.8.0	2019-11-26 18:17:20 +08:00
design.rst	docs: Remove explicit .html links	2019-04-30 13:11:33 +02:00
faq.rst	Fix broken links to index.html in cmd docs	2020-01-31 23:22:43 +08:00
fish_indent_lexer.py	Reformat all files	2019-05-05 12:09:25 +02:00
index.rst	Remove explicit .html links	2020-01-31 23:22:44 +08:00
license.rst	Update copyright information	2019-08-08 18:47:36 +02:00
tutorial.rst	docs/tutorial: Replace coloring markup	2020-02-22 18:03:04 +01:00