Bug 947839 - The top green border of a "highlighted" tab doesn't extend over the margins like "selected" tabs. r=bgrins
Bug 950739 - Don't scroll toolbox on raise. r=robcee