realaravinth/forgejo-federation
1
0
Fork 0
Code Issues Pull requests 6 Projects Releases Packages Wiki Activity
forgejo-federation/web_src/css/chroma/base.css

51 lines
683 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-11 22:08:47 +05:30
.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 {
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 07:50:19 +05:30
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-11 22:08:47 +05:30
}
/* 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 07:50:19 +05:30
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-11 22:08:47 +05:30
}
/* GenericStrong */
.chroma .gs {
Add --font-weight-bold and set previous bold to 601 (#24307) 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>
2023-04-24 23:16:00 +05:30
font-weight: var(--font-weight-bold);
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-11 22:08:47 +05:30
}
/* GenericUnderline */
.chroma .gl {
text-decoration: underline;
}
Copy permalink