19993d8814
There was some recent discussion about this in Discord `ui-design` channel and the conclusion was that https://github.com/go-gitea/gitea/issues/24305 should have fixed their OS font installation to have semibold weights. I have now tested this 601 weight on a Windows 10 machine on Firefox myself, and I immediately noticed that bold was excessivly bold and rendering as 700 because browsers are biased towards bolder fonts. So revert this back to the previous value.
51 lines
687 B
CSS
51 lines
687 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-semibold);
|
|
}
|
|
|
|
/* GenericUnderline */
|
|
.chroma .gl {
|
|
text-decoration: underline;
|
|
}
|