docs: use sphinxcontrib-platformpicker.
authorwhitequark <whitequark@whitequark.org>
Sun, 5 Jul 2020 23:39:47 +0000 (23:39 +0000)
committerwhitequark <whitequark@whitequark.org>
Sun, 5 Jul 2020 23:39:47 +0000 (23:39 +0000)
commit1fbd7f1d08b964131b8bdb772817b7765938274e
tree0ac527d809ead32f31d8576be5c35e21f8160b47
parentf1153352c0e0d6c1e5ff345e5fbab5653bb8f24c
docs: use sphinxcontrib-platformpicker.

Fixes #416.
docs/_static/custom.css
docs/conf.py
docs/install.rst
docs/requirements.txt