vieter-v
/
v
2
0
Fork 0
Code Issues Pull Requests Releases Activity

vdoc: imrpove font spacing in the generated html docs (#11159)

pull/11160/head
Daniel Däschle 2021-08-12 09:15:18 +02:00 committed by GitHub
parent 9c74fb0449
commit e089d66225
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
cmd/tools/vdoc/resources/doc.css
View File

@ -366,7 +366,8 @@ body {
} }
.doc-content p { .doc-content p {
font-size: 1rem; font-size: 1rem;
line-height: 1.4; line-height: 1.6;
letter-spacing: 0.025em;
} }
.doc-content a { .doc-content a {
color: #2779bd; color: #2779bd;
@ -546,7 +547,7 @@ pre code {
color: var(--code-default-text-color); color: var(--code-default-text-color);
font-size: 0.948em; font-size: 0.948em;
text-shadow: none; text-shadow: none;
font-family: 'Jetbrains Mono', monospace; font-family: "Jetbrains Mono", monospace;
background-color: #edf2f7; background-color: #edf2f7;
background-color: var(--code-background-color); background-color: var(--code-background-color);
border-radius: 0.25rem; border-radius: 0.25rem;