GNOME Panel größer und dennoch hübsch?

[Peter Pein]

Liebe Leser laienhafter, lustloser Lamenti, ;-)

  da das Icon des Programmes Mathematica in einem Standard-24-Pixel 
Panel ein wenig dröge aussieht, habe ich das Panel auf 32 px Höhe 
erweitert; sieht aber Sch.... aus (http://ubuntuone.com/p/i31/ ). Die 
acht zusätzlichen Pixel sind hellgrau und nicht dem Stil des Desktops 
entsprechend. Außerdem kann es passieren, dass die Icons im Panel in die 
Titelleisten von Fenstern hinein ragen, die sich zu nahe an das Panel 
heranwagen.

  Meine Vermutung ist, dass zwar vorgesehen ist, die Panelhöhe zu 
ändern, aber mit einem "Wer macht das schon?" kein Aufwand auf eine 
angemessene Implementierung verschwendet wurde(?).

  Das Theme ist "Ambiance"; die einige Änderung, die ich daran 
vorgenommen habe, betrifft eher metacity (Knöpfchen der Titelleiste per 
gconf-edit wieder nach rechts verlegt).

  Wer weiß, wie man das 32px-Panel aussehen läßt wie eine 24er Variante 
- bloß 33 1/3 % größer?


Vielen Dank im Voraus,

   Peter