FIX: Prevent clipping user mentions (#9962)

This commit is contained in:
Jarek Radosz 2020-06-02 16:30:34 +02:00 committed by GitHub
parent 439db7ca1e
commit 3e8d548d35
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions

View File

@ -806,11 +806,12 @@ blockquote > *:last-child {
} }
a.mention { a.mention {
align-items: baseline;
display: inline-flex;
font-weight: bold; font-weight: bold;
font-size: 0.93em; font-size: 0.93em;
color: $primary;
color: dark-light-choose($primary-high, $secondary-low); color: dark-light-choose($primary-high, $secondary-low);
padding: 2px 4px; padding: 1px 4px;
background: $primary-low; background: $primary-low;
border-radius: 8px; border-radius: 8px;
} }