From ec33ca9bffc5d08c96365fb1e35c657b02af2256 Mon Sep 17 00:00:00 2001
From: M Fahru <m.fahru@overleaf.com>
Date: Thu, 1 Feb 2024 10:06:38 -0700
Subject: [PATCH] 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

GitOrigin-RevId: c3ece8af3ee683d351546daa98a9f134fa8548a6
---
 services/web/frontend/fonts/dm-mono.css                     | 6 ++++++
 services/web/frontend/stylesheets/app/website-redesign.less | 3 ---
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/services/web/frontend/fonts/dm-mono.css b/services/web/frontend/fonts/dm-mono.css
index b8f4775127..b63cb44aae 100644
--- a/services/web/frontend/fonts/dm-mono.css
+++ b/services/web/frontend/fonts/dm-mono.css
@@ -1,5 +1,6 @@
 @font-face {
   font-family: 'DM Mono';
+  font-feature-settings: 'ss05';
   font-style: normal;
   font-weight: 300;
   src: url('dm-mono/DMMono-Light.woff2') format('woff2'),
@@ -7,6 +8,7 @@
 
 @font-face {
   font-family: 'DM Mono';
+  font-feature-settings: 'ss05';
   font-style: italic;
   font-weight: 300;
   src: url('dm-mono/DMMono-LightItalic.woff2') format('woff2'),
@@ -14,6 +16,7 @@
 
 @font-face {
   font-family: 'DM Mono';
+  font-feature-settings: 'ss05';
   font-style: normal;
   font-weight: 400;
   src: url('dm-mono/DMMono-Regular.woff2') format('woff2'),
@@ -21,6 +24,7 @@
 
 @font-face {
   font-family: 'DM Mono';
+  font-feature-settings: 'ss05';
   font-style: italic;
   font-weight: 400;
   src: url('dm-mono/DMMono-Italic.woff2') format('woff2'),
@@ -28,6 +32,7 @@
 
 @font-face {
   font-family: 'DM Mono';
+  font-feature-settings: 'ss05';
   font-style: normal;
   font-weight: 500;
   src: url('dm-mono/DMMono-Medium.woff2') format('woff2'),
@@ -35,6 +40,7 @@
 
 @font-face {
   font-family: 'DM Mono';
+  font-feature-settings: 'ss05';
   font-style: italic;
   font-weight: 500;
   src: url('dm-mono/DMMono-MediumItalic.woff2') format('woff2'),
diff --git a/services/web/frontend/stylesheets/app/website-redesign.less b/services/web/frontend/stylesheets/app/website-redesign.less
index 623894925f..33262a2f73 100644
--- a/services/web/frontend/stylesheets/app/website-redesign.less
+++ b/services/web/frontend/stylesheets/app/website-redesign.less
@@ -634,7 +634,6 @@
 
   .text-with-bg {
     font-family: 'DM Mono', monospace;
-    font-feature-settings: 'ss05';
     padding: 0 @padding-sm;
     border-radius: 10px;
     margin-top: 5px;
@@ -730,7 +729,6 @@
   .mono-text {
     font-family: 'DM Mono', monospace;
     color: var(--green-60);
-    font-feature-settings: 'ss05';
     font-size: 1.125rem;
     font-weight: 500;
     line-height: 1.5rem;
@@ -741,7 +739,6 @@
     font-size: 1.125rem;
     line-height: 1.333;
     font-family: 'DM Mono', monospace;
-    font-feature-settings: 'ss05';
     font-weight: 500;
 
     i.material-symbols-rounded {