Merge 81e86113d686801e75b5bdea9c78a04210e17ab4 into dad94ab4b7c55eea0b63f7b81419d027fe9a8d81

This commit is contained in:
Richard Si 2024-03-16 22:52:34 +01:00 committed by GitHub
commit c41fd62e3e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -189,6 +189,13 @@
margin-bottom: 0;
}
.post-content .highlight + ol,
.post-content .highlight + p,
.post-content .highlight + figure,
.post-content .highlight + ul {
margin-top: var(--content-gap)
}
.post-content code {
margin: auto 4px;
padding: 4px 6px;