by Frankie Kam.
Got it working. At long, long, last!
and then when I move the mouse pointer down,
Fantastico! At last my quest is complete. The autohide.css code I am using can be downloaded from here:
http://dl.dropbox.com/u/17797520/moodle/autohide2/autohide.css
Thanks to all. This makes a good blog post, with credit given where credit is due.
Frankie Kam