medmunds 0c3e3e9bad Docs: css tweaks ...

* Add vertical space between items in "open" lists
  (rtfd/sphinx_rtd_theme#590)
* Distinguish shell prompts in console examples,
  and omit them if the code is copied
* Add css and js extras directly from Sphinx conf.py
  (no need to override template)

2018-03-16 12:16:57 -07:00

10 KiB

Raw Blame History

View Raw