diff -r 7685cec9fd3c -r f2ddfa555b0f doc/api/_static/stickysidebar.css --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc/api/_static/stickysidebar.css Fri Sep 11 11:54:49 2009 +0100 @@ -0,0 +1,19 @@ +/** + * Sphinx Doc Design -- Sticky sidebar Overrides + */ + +div.sphinxsidebar { + top: 30px; + left: 0px; + position: fixed; + margin: 0; + float: none; +} + +div.related { + position: fixed; +} + +div.documentwrapper { + margin-top: 30px; +}