css: Use 700 font weight for 800 since they default to it.

We don't have 800 font weight available, so the font weight defaults
to 700, so we use it directly here to avoid any changes when
we convert to variable font.
This commit is contained in:
Aman Agrawal 2023-03-27 06:32:34 +00:00 committed by Tim Abbott
parent b236902ec7
commit 98ee387197
4 changed files with 6 additions and 7 deletions

View File

@ -21,14 +21,14 @@ $before_unread_count_padding: 3px;
content: "#";
line-height: 0;
font-size: 18px;
font-weight: 800;
font-weight: 700;
}
}
}
.stream-privacy {
font-size: 15px;
font-weight: 800;
font-weight: 700;
min-width: $left_col_size;
text-align: center;

View File

@ -872,7 +872,7 @@ button {
min-width: 650px;
.number {
font-weight: 800;
font-weight: 700;
&.one {
color: hsl(0deg 0% 100% / 40%);
@ -3574,7 +3574,7 @@ button {
overflow: hidden;
transition: border-color 0.3s, background-color 0.3s;
transition-timing-function: cubic-bezier(0.2, 1, 0.3, 1);
font-weight: 800;
font-weight: 700;
padding: 15px 5px;
&:focus {
@ -3627,7 +3627,7 @@ button {
& blockquote::before {
font-size: 20px;
font-weight: 800;
font-weight: 700;
}
& cite {

View File

@ -868,7 +868,7 @@ h4.user_group_setting_subsection_title {
&.hash::after {
top: -1px;
font-size: 1.09em;
font-weight: 800;
font-weight: 700;
}
.zulip-icon {

View File

@ -1949,7 +1949,6 @@ div.focused_table {
.fa-hashtag {
font-size: 1.2rem;
/* font-weight: 800; */
margin: 0 2px 0 5px;
}
}