2012/9/26 Daniel Francis <francis at sugarlabs.org>: > + padding-top: $(icon_large * 0.30)px; > + padding-bottom: $(icon_large * 0.30)px; I spoke too early, this solution doesn't work as expected with tab close buttons. "Ooops!"