doc: we may need a newer rtd theme

2021-05-23 17:47:12 +08:00 · 2021-05-23 17:47:12 +08:00 · 8db5c6a938
parent c65513b37d
commit 8db5c6a938
1 changed files with 2 additions and 0 deletions
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@ -3,3 +3,5 @@ structlog
 appdirs
 tornado>=6
 sphinx>=3.2
+# <5 has strange bottom margins for p, and no list indicators
+sphinx-rtd-theme>=0.5