Merge pull request #22 from anton-dergunov/patch-1

Right alignment for the comments
This commit is contained in:
Yaotian Liu 2024-08-31 16:42:43 -07:00 committed by GitHub
commit 13be11b65a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1399,7 +1399,7 @@ If your plugin does not need CSS, delete this file.
text-transform: none;
}
.ps-root .ps-comment {
.ps-root {
font-family: KaTeX_Main, "Times New Roman", Times, serif;
font-weight: 400;
font-variant: normal;
@ -1407,6 +1407,16 @@ If your plugin does not need CSS, delete this file.
text-transform: none;
}
.ps-comment {
font-family: KaTeX_Main, "Times New Roman", Times, serif;
font-weight: 400;
font-variant: normal;
font-style: italic;
text-transform: none;
opacity: 70%;
float: right;
}
.ps-root .ps-linenum {
font-size: 0.8em;
line-height: 1em;