20a3b03fe5
Fix #24305 According to MDN, "bold" starts from 700, some fonts do not provide "bolding" for weight 600 https://developer.mozilla.org/en-US/docs/Web/CSS/font-weight --------- Co-authored-by: silverwind <me@silverwind.io> Co-authored-by: Giteabot <teabot@gitea.io>
51 lines
683 B
CSS
51 lines
683 B
CSS
.chroma {
|
|
background-color: var(--color-code-bg);
|
|
}
|
|
|
|
/* LineTableTD */
|
|
.chroma .lntd {
|
|
vertical-align: top;
|
|
padding: 0;
|
|
margin: 0;
|
|
border: 0;
|
|
}
|
|
|
|
/* LineTable */
|
|
.chroma .lntable {
|
|
border-spacing: 0;
|
|
padding: 0;
|
|
margin: 0;
|
|
border: 0;
|
|
width: auto;
|
|
overflow: auto;
|
|
display: block;
|
|
}
|
|
|
|
/* LineHighlight */
|
|
.chroma .hl {
|
|
display: block;
|
|
width: 100%;
|
|
}
|
|
|
|
/* LineNumbersTable */
|
|
.chroma .lnt {
|
|
margin-right: 0.4em;
|
|
padding: 0 0.4em;
|
|
}
|
|
|
|
/* LineNumbers */
|
|
.chroma .ln {
|
|
margin-right: 0.4em;
|
|
padding: 0 0.4em;
|
|
}
|
|
|
|
/* GenericStrong */
|
|
.chroma .gs {
|
|
font-weight: var(--font-weight-bold);
|
|
}
|
|
|
|
/* GenericUnderline */
|
|
.chroma .gl {
|
|
text-decoration: underline;
|
|
}
|