Hi Bernd,

re:
> 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?

It's a limitation of the UI engine - the flyout border is not rendered by the HTML engine, it's drawn with custom code and isn't able to handle a gradient background. So because of that the .MenuBody background should only be a regular single color and not a gradient.


> 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.

Those come from a bitmap in the UI folder: PointLabel.png . You can modify it just make sure not to change the size.

- Michael