.tab-width {
  width: var(--tab-width);
}