GFonts/gfonts-interface
1
0
Fork 0
Code Issues 1 Pull requests Packages Projects Releases Wiki Activity

Fix font rendering on results

Browse source
This commit is contained in:
Sofía Aritz 2023-05-15 23:16:34 +02:00
parent 8f6333b312
commit abe43946f6
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/lib/css/app.css
View file

@ -25,13 +25,16 @@ a {
} }
pre { pre {
font-family: "JetBrains Mono", monospace;
font-size: .9em;
background: rgba(0, 0, 0, 0.1); background: rgba(0, 0, 0, 0.1);
padding: .5rem; padding: .5rem;
overflow-x: scroll; overflow-x: scroll;
} }
pre span {
font-family: "JetBrains Mono", monospace;
font-size: .9em;
}
button { button {
color: white; color: white;
padding: 3px; padding: 3px;