mirror/gitea
1
0
Fork 0
mirror of https://github.com/go-gitea/gitea.git synced 2024-12-03 00:09:18 +08:00
Code Packages Projects Releases Wiki Activity
8107823026
gitea/web_src/css/chroma/base.css

47 lines
632 B
CSS
Raw Normal View History

Reorganize Chroma styles (#13934) This moves the Chroma styles into separate files with base,light and dark variants. Should work exactly as before.
2020-12-12 00:38:47 +08:00
/* 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 {
Replace Less with CSS (#23481) Ran most of the Less files through the Less compiler and Prettier and then followed up with a round of manual fixes. The Less compiler had unfortunately stripped all `//` style comments that I had to restore (It did preserve `/* */` comments). Other fixes include duplicate selector removal which were revealed after the transpilation and which weren't caught by stylelint before but now are. Fixes: https://github.com/go-gitea/gitea/issues/15565
2023-03-15 10:20:19 +08:00
margin-right: 0.4em;
padding: 0 0.4em;
Reorganize Chroma styles (#13934) This moves the Chroma styles into separate files with base,light and dark variants. Should work exactly as before.
2020-12-12 00:38:47 +08:00
}
/* LineNumbers */
.chroma .ln {
Replace Less with CSS (#23481) Ran most of the Less files through the Less compiler and Prettier and then followed up with a round of manual fixes. The Less compiler had unfortunately stripped all `//` style comments that I had to restore (It did preserve `/* */` comments). Other fixes include duplicate selector removal which were revealed after the transpilation and which weren't caught by stylelint before but now are. Fixes: https://github.com/go-gitea/gitea/issues/15565
2023-03-15 10:20:19 +08:00
margin-right: 0.4em;
padding: 0 0.4em;
Reorganize Chroma styles (#13934) This moves the Chroma styles into separate files with base,light and dark variants. Should work exactly as before.
2020-12-12 00:38:47 +08:00
}
/* GenericStrong */
.chroma .gs {
Change `--font-weight-bold` to `--font-weight-semibold` and 600 value, introduce new font weight variables (#24827) 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.
2023-05-22 07:37:32 +08:00
font-weight: var(--font-weight-semibold);
Reorganize Chroma styles (#13934) This moves the Chroma styles into separate files with base,light and dark variants. Should work exactly as before.
2020-12-12 00:38:47 +08:00
}
/* GenericUnderline */
.chroma .gl {
text-decoration: underline;
}
Copy Permalink