I just noticed that Windows Firefox version 113 changes how this userchrome border is rendered.
#TabsToolbar-customization-target {
border-bottom-width: 1px;
border-b… (read more)
I just noticed that Windows Firefox version 113 changes how this userchrome border is rendered.
#TabsToolbar-customization-target {
border-bottom-width: 1px;
border-bottom-style: solid;
border-color: var(--tabs-border-color);
}
On my accidental airgapped machine running 112 the border is properly rendered as 1px. But on all my machines running 113 it's being rendered as 0.566667 which is rounded down to 0. I also noticed that my separators between the tabs seem to be thinner.
Before I try to counter it by setting my css to use 2px which is interpreted as 1.7 and rounded down to 1, can you please tell me WHAT is going on? Thanks.
P.S. My userchrome.css include much more than this, hence why it looks strange on a default profile, but the effects are still visible.