github/overleaf
1
0
Fork 0
mirror of https://github.com/overleaf/overleaf.git synced 2024-11-21 20:47:08 -05:00
Code Issues Projects Releases Packages Wiki Activity

Include font-feature-settings directly inside DM Mono font-face to make sure we don't forget it if we're using DM Mono in the future

Browse source 
GitOrigin-RevId: c3ece8af3ee683d351546daa98a9f134fa8548a6
This commit is contained in:
M Fahru 2024-02-01 10:06:38 -07:00 committed by Copybot
parent 03bb99aeaa
commit ec33ca9bff
2 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
services/web/frontend/fonts/dm-mono.css
View file

@ -1,5 +1,6 @@
@font-face { @font-face {
font-family: 'DM Mono'; font-family: 'DM Mono';
font-feature-settings: 'ss05';
font-style: normal; font-style: normal;
font-weight: 300; font-weight: 300;
src: url('dm-mono/DMMono-Light.woff2') format('woff2'), src: url('dm-mono/DMMono-Light.woff2') format('woff2'),
@ -7,6 +8,7 @@
@font-face { @font-face {
font-family: 'DM Mono'; font-family: 'DM Mono';
font-feature-settings: 'ss05';
font-style: italic; font-style: italic;
font-weight: 300; font-weight: 300;
src: url('dm-mono/DMMono-LightItalic.woff2') format('woff2'), src: url('dm-mono/DMMono-LightItalic.woff2') format('woff2'),
@ -14,6 +16,7 @@
@font-face { @font-face {
font-family: 'DM Mono'; font-family: 'DM Mono';
font-feature-settings: 'ss05';
font-style: normal; font-style: normal;
font-weight: 400; font-weight: 400;
src: url('dm-mono/DMMono-Regular.woff2') format('woff2'), src: url('dm-mono/DMMono-Regular.woff2') format('woff2'),
@ -21,6 +24,7 @@
@font-face { @font-face {
font-family: 'DM Mono'; font-family: 'DM Mono';
font-feature-settings: 'ss05';
font-style: italic; font-style: italic;
font-weight: 400; font-weight: 400;
src: url('dm-mono/DMMono-Italic.woff2') format('woff2'), src: url('dm-mono/DMMono-Italic.woff2') format('woff2'),
@ -28,6 +32,7 @@
@font-face { @font-face {
font-family: 'DM Mono'; font-family: 'DM Mono';
font-feature-settings: 'ss05';
font-style: normal; font-style: normal;
font-weight: 500; font-weight: 500;
src: url('dm-mono/DMMono-Medium.woff2') format('woff2'), src: url('dm-mono/DMMono-Medium.woff2') format('woff2'),
@ -35,6 +40,7 @@
@font-face { @font-face {
font-family: 'DM Mono'; font-family: 'DM Mono';
font-feature-settings: 'ss05';
font-style: italic; font-style: italic;
font-weight: 500; font-weight: 500;
src: url('dm-mono/DMMono-MediumItalic.woff2') format('woff2'), src: url('dm-mono/DMMono-MediumItalic.woff2') format('woff2'),

3
services/web/frontend/stylesheets/app/website-redesign.less
View file

@ -634,7 +634,6 @@
.text-with-bg { .text-with-bg {
font-family: 'DM Mono', monospace; font-family: 'DM Mono', monospace;
font-feature-settings: 'ss05';
padding: 0 @padding-sm; padding: 0 @padding-sm;
border-radius: 10px; border-radius: 10px;
margin-top: 5px; margin-top: 5px;
@ -730,7 +729,6 @@
.mono-text { .mono-text {
font-family: 'DM Mono', monospace; font-family: 'DM Mono', monospace;
color: var(--green-60); color: var(--green-60);
font-feature-settings: 'ss05';
font-size: 1.125rem; font-size: 1.125rem;
font-weight: 500; font-weight: 500;
line-height: 1.5rem; line-height: 1.5rem;
@ -741,7 +739,6 @@
font-size: 1.125rem; font-size: 1.125rem;
line-height: 1.333; line-height: 1.333;
font-family: 'DM Mono', monospace; font-family: 'DM Mono', monospace;
font-feature-settings: 'ss05';
font-weight: 500; font-weight: 500;
i.material-symbols-rounded { i.material-symbols-rounded {