Fix adjustment of output height in Sphinx
Fix adjustment of output height in Sphinx
Make side-docking default in Sphinx