hypothetical "floaty thing" for navigation, doesn't really work yet

diff --git a/doc/build/static/docs.css b/doc/build/static/docs.css
index bd08f3b2099e1b1e0874970dbedb3de4c8251f28..b7c02248b525dd3d3a20b7d6c993ae0cdca2133e 100644 (file)
--- a/doc/build/static/docs.css
+++ b/doc/build/static/docs.css
@@ -526,3 +526,16 @@ div .version-warning {
   border:1px solid #BFBFBF;
 }*/
 
+/*dl div.floatything {
+    display:none;
+    position:fixed;
+    top:25px;
+    left:40px;
+    font-size:.95em;
+    font-weight: bold;
+    border:1px solid;
+    background-color: #FFF;
+}
+dl:hover div.floatything {
+    display:block;
+}*/

diff --git a/doc/build/static/init.js b/doc/build/static/init.js
index cd4dac6b9120ea9a5e077eb483dde26507c2e19b..1876d470e60f45f5e2aa100688375a4b294cd80e 100644 (file)
--- a/doc/build/static/init.js
+++ b/doc/build/static/init.js
@@ -4,10 +4,17 @@ function initSQLPopups() {
     $('a.sql_link').click(function() {
         $(this).nextAll('div.popup_sql:first').toggle();
         return false;
-    })
+    });
 }
 
+/*function initFloatyThings() {
+       $("dl.function, dl.class, dl.method, dl.attr, dl.data").each(function(idx, elem) {
+               $(elem).prepend("<div class='floatything'>" + $(elem).contents("dt").attr('id')+ "</div>");
+       });
+}*/
+
 $(document).ready(function() {
     initSQLPopups();
+    /*initFloatyThings();*/
 });