Fitting two rows of tasklist in 48 pixels

[Alex Larsson <alexl redhat com>]

I just checked in an evil fix to the tasklist that made it fit two rows on 
a 48 pixel panel in my default config.

The problem was that the icon is 16 pixels hight (and the text slightly 
less), and the border of the button is 5 pixels on each side (2 pixel 
bevel, 1 pixel focus-padding, 1 pixel focus-line-width, and 1 pixel button 
CHILD_SPACING. This unfortunately sums up to 52 pixels for two rows.

The fix I checked in does:
  gtk_rc_parse_string ("
    style \"tasklist-button-style\"
    {
       GtkWidget::focus-padding=0
    }
    widget \"*.tasklist-button\" style \"tasklist-button-style\"
  ");

and then calls gtk_widget_set_name(button, "tasklist-button") on each 
button in the tasklist.

This is very evil, but it was the only way I could see. Is there any other 
possibility here?

/ Alex