g causes the browser to jump to the wrong place in the
left frame. Set
<pre>
$DoSafariJumpFix = 1; # work around the Safari bug
</pre>
in the configuration file to activate the work-around: first the
browser jumps to a jump.html file that has a JavaScript that 
directs it to the proper part of the param.html file. As a result
there is a little bit of blinking in the left frame, but still better
than not seeing the selected items and scrolling all the time.
<p>
One can also change the proportions of the thre