Add --font-weight-bold and set previous bold to 601 (#24307) (#24331)

Backport #24307

Fix #24305

According to MDN, "bold" starts from 700, some fonts do not provide
"bolding" for weight 600

Manually backport, no CSS conflict.
This commit is contained in:
wxiaoguang 2023-04-26 07:51:54 +08:00 committed by GitHub
parent 1bbbeb24ef
commit 5f82011b7c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
10 changed files with 18 additions and 14 deletions

View file

@ -29,7 +29,7 @@
font-size: .9em !important; /* compensate for monospace fonts being usually slightly larger */
}
.gt-bold { font-weight: 600 !important; }
.gt-bold { font-weight: var(--font-weight-bold) !important; }
.gt-word-break {
word-wrap: break-word !important;