Create a 1px overlap between tab center and start/end backgrounds.

This visual overlap prevents gaps due to rounding of pixel borders when rounded tab "borders" are exactly flush.
This resolves #268.
This commit is contained in:
wolfbeast 2018-04-29 15:45:50 +02:00 committed by Roy Tam
commit a0aca802af

View file

@ -55,8 +55,9 @@
.tab-background-middle {
-moz-box-flex: 1;
background-clip: padding-box;
border-left: @tabCurveHalfWidth@ solid transparent;
border-right: @tabCurveHalfWidth@ solid transparent;
/* Deliberately create a 1px overlap left/right to cover rounding gaps */
border-left: calc(@tabCurveHalfWidth@ - 1px) solid transparent;
border-right: calc(@tabCurveHalfWidth@ - 1px) solid transparent;
margin: 0 -@tabCurveHalfWidth@;
}