Added graphical configuration, at this point only for the grey theme but others will follow soon. (This has been nearly done for two weeks or more but was on hold due to the bugs with multithreading)
function getScrollOffset()
{
var position;
if (self.pageYOffset)
{
position = self.pageYOffset;
}
else if (document.documentElement && document.documentElement.scrollTop)
{
position = document.documentElement.scrollTop;
}
else if (document.body)
{
position = document.body.scrollTop;
}
return position;
}
var fix_scroll = function()
{
var div = document.getElementById('playbar');
div.style.top = ( String(getScrollOffset()) ) + 'px';
}
window.onscroll = fix_scroll;