no message

zhaojs

2023-07-13 af690872ed85d6023db9ed8db3b2996cd6c3bc40

1
2
3
4
5
6
7
8
9
// WebKit-style focus
 
.tab-focus() {
  // WebKit-specific. Other browsers will keep their default outline style.
  // (Initially tried to also force default via `outline: initial`,
  // but that seems to erroneously remove the outline in Firefox altogether.)
  outline: 5px auto -webkit-focus-ring-color;
  outline-offset: -2px;
}