Shivanand Sharma
Administrator
jwh: I’ve put it on my to do list. [...]
Cool; though my changes were just a hack; I could never figure out how to plumb ‘tab.tabbrowser-tab.standout’ to disable those sections, in the CSS. So 'credit' would probably be a bit much, but a mention might be fine. 😛
Thanks again!