- disable the scrolling layout, anchors for code/params are not working,

and the current approach used for sections is not able to work for fine-grained
anchors like these, another approach needs to be taken.

diff --git a/doc/build/static/init.js b/doc/build/static/init.js
index 5687eed1ddbde94ebf4944d656a28ec55ac046a0..2be395a1f0918af495d9fc874ee0d1d65364e3ef 100644 (file)
--- a/doc/build/static/init.js
+++ b/doc/build/static/init.js
@@ -61,7 +61,8 @@ function initFloatyThings() {
 
 $(document).ready(function() {
     initSQLPopups();
-    if (!$.browser.mobile) {
+    // disable for now, still can't get anchors to work in all cases
+    if (0) { //!$.browser.mobile) {
         initFloatyThings();
     }
 });