diff -r 9374c207cfee -r 9dcc6e7393f7 doc/api/_static/stickysidebar.css --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc/api/_static/stickysidebar.css Fri Sep 11 15:39:31 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; +}