paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-03 13:33:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

user_circles: Adjust circles top margin on low-res screens.

Browse Source
This commit is contained in:
Karl Stolley
2024-07-17 13:10:44 -05:00
committed by Tim Abbott
parent 5cdebcb2dd
commit 8271c2b083
2 changed files with 18 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
web/styles/left_sidebar.css
View File

@@ -1095,6 +1095,16 @@ li.topic-list-item {
.user_circle { .user_circle {
width: var(--length-user-status-circle); width: var(--length-user-status-circle);
height: var(--length-user-status-circle); height: var(--length-user-status-circle);
@media screen and (resolution <= 1x) {
/* User circles appear to sag a bit on
low-resolution screens, so this fix
targets them without disrupting
line-height values that may become
important in multi-line DM groups, etc.
in the future. */
margin-top: -2.5px;
}
} }
.zulip-icon.zulip-icon-bot { .zulip-icon.zulip-icon-bot {

8
web/styles/right_sidebar.css
View File

@@ -121,6 +121,14 @@ $user_status_emoji_width: 24px;
height: var(--length-user-status-circle); height: var(--length-user-status-circle);
grid-area: starting-anchor-element; grid-area: starting-anchor-element;
place-self: center center; place-self: center center;
@media screen and (resolution <= 1x) {
/* User circles appear to sag a bit on
low-resolution screens, so this fix
targets them without disrupting
line-height values. */
margin-top: -2.5px;
}
} }
.empty-list-message { .empty-list-message {