We probably need a primitive to right-align an element within its parent, but I don't have strong opinions about how that should be designed, so I'm just adding this as a temporary measure so that the tabs won't look too ugly in the meantime.
We probably need a primitive to right-align an element within its parent, but I don't have strong opinions about how that should be designed, so I'm just adding this as a temporary measure so that the tabs won't look too ugly in the meantime.