Community
Participate
Working Groups
If a tree has the border style it gets the theme from the default theme. So, the border style should be overridden by the fancy.css
Created attachment 169124 [details] Fix Patch adds a global border property to the fancy.css
Comment on attachment 169124 [details] Fix Looks good and seems to be harmless to me. Hardly anyone will rely on a 3d border in the fancy theme.
And we should not forget to add a theming test for it.
Changes are in CVS HEAD including a test for the tree.