Signed-off-by: David Bauer <mail@david-bauer.net>

Signed-off-by: David Bauer <mail@david-bauer.net>

Signed-off-by: David Bauer <mail@david-bauer.net>

Signed-off-by: David Bauer <mail@david-bauer.net>

(cherry picked from commit b313a63117fcb920a87196a5ea44b5c990a81140)

Config Mode
- http://192.168.1.1

(not existing) anchors on hackint used to join channels
- https://webirc.hackint.org/#

Signed-off-by: David Bauer <mail@david-bauer.net>

Since sphinx-5.0.0 "None" is not recommended anymore.

Fix a number of issues related to the vertical alignment and margins of
list elements.

v2020.2.x has been branched, so the current master is v2020.2+.

It makes sense to render using the same theme locally that is used on RTD.
The theme can be installed using:

    pip install sphinx_rtd_theme