GUI customization

 From:  Munin (BERND_BECKER)
10485.1 
Hi there,

while changing the UI two things came up:

a. if the .MenuBody's background is defined as a -webkit-gradient, border-width and border-color no longer have an effect and default values are used for both even if !important is used.
Is this a known restriction, or am I doing something wrong?

b. are the colors for labels in viewports, eg. "Origin" for snapping, hard-coded?
I couldn't find a way to change them, and none of the other UI modifications I found on this forum change these colors either.


Thanks in advance,
Bernd