Hi, I'm trying to theme a widget's border applying different border widths for the same border. The theming reference state that this is not possible since border-width accept a <dimension> as value (and not a <box-dimension>). Is there a way to workaround this issue?