Upstream/waveterm
1
0
Fork 0
mirror of https://github.com/wavetermdev/waveterm.git synced 2025-01-04 18:59:08 +01:00
Code Issues Packages Projects Releases Wiki Activity

nerf markdown header font sizes -- match github (#388)

Browse Source
This commit is contained in:
Mike Sawka 2024-03-06 11:52:26 -08:00 committed by GitHub
parent a1ab25936e
commit 55a5b8615b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/app/common/elements/markdown.less
View File

@ -70,21 +70,32 @@
outline: 2px solid var(--markdown-outline-color); outline: 2px solid var(--markdown-outline-color);
} }
.title {
font-weight: semibold;
padding-top: 6px;
}
.title.is-1 { .title.is-1 {
border-bottom: 1px solid #777; border-bottom: 1px solid #777;
padding-bottom: 6px; padding-bottom: 6px;
font-size: 2em;
} }
.title.is-2 { .title.is-2 {
border-bottom: 1px solid #777; border-bottom: 1px solid #777;
padding-bottom: 6px; padding-bottom: 6px;
font-size: 1.5em;
} }
.title.is-3 { .title.is-3 {
font-size: 1.25em;
} }
.title.is-4 { .title.is-4 {
font-size: 1em;
} }
.title.is-5 { .title.is-5 {
font-size: 0.875em;
} }
.title.is-6 { .title.is-6 {
font-size: 0.85em;
} }
} }