2016-10-12 20:57:59 +02:00
|
|
|
#typing_notifications {
|
|
|
|
display: none;
|
|
|
|
margin-left: 10px;
|
|
|
|
font-style: italic;
|
2023-03-20 22:08:47 +01:00
|
|
|
color: hsl(0deg 0% 53%);
|
2016-10-12 20:57:59 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
#typing_notification_list {
|
|
|
|
list-style: none;
|
|
|
|
margin: 0;
|
|
|
|
}
|
2024-06-07 12:02:51 +02:00
|
|
|
|
|
|
|
#mark_as_read_turned_off_banner {
|
|
|
|
/* override the margin of main-view-banner since it causes
|
|
|
|
more gap than we want between mark as read banner and typing
|
|
|
|
notification. */
|
|
|
|
margin: 5px 0;
|
|
|
|
}
|