Using
I played a bit with the CSS (see
http://forrest.apache.org/0.7/docs/howto/howto-editcss.html) and found
that replacing
#menu {
position: relative;
float: left;
width: 160px;
padding-top: 0px;
top:-18px;
left:10px;
z-index: 20;
background-color: #f90;
font-size : 70%;
}
with this new configuration for the menu will keep it in place when
scrolling.
#menu {
position: fixed;
float: left;
width: 160px;
padding-top: 0px;
top:140px;
left:10px;
z-index: 20;
background-color: #f90;
font-size : 70%;
}
Of course, of nothing else is done, it will become a tear-off menu.
Adding this change
#tabs {
clear: both;
padding-left: 10px;
padding-top:80px;
margin: 0;
list-style: none;
position: fixed;
z-index:20;
}
makes it obvious that we should probably move the whole top
section and that's where I stopped to get some work done ...
--
Ferdinand Soethe