Some tweaks for Tree Style Tab extension, restartless extension for Firefox