Merge branch 'main' into feature/bots

This commit is contained in:
Jason Song 2022-12-23 16:25:49 +08:00 committed by GitHub
commit 950a5ad29c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1595,6 +1595,8 @@
border-bottom: 1px solid var(--color-secondary);
padding-left: 2px;
padding-right: 2px;
margin-left: -1px;
margin-right: -1px;
}
> div::after {