This script will change the default font to "JetBrains Mono NL".
Custom LeetCode Editor Font by lance1o7
Details
Authorlance1o7
LicenseNo License
Categoryleetcode
Created
Updated
Size604 B
Statistics
Learn how we calculate statistics in the FAQ.
Failed to fetch stats.
Description
Notes
Userstyle doesn't have notes.Source code
/* ==UserStyle==
@name Custom LeetCode Editor Font
@version 20220712.03.07
@namespace userstyles.world/user/lance1o7
@description This script will change the default font to "JetBrains Mono NL".
@author lance1o7
@license No License
==/UserStyle== */
@-moz-document domain("leetcode.com") {
.container__YPDh .CodeMirror {
position: absolute;
height: 100%;
width: 100%;
line-height: normal;
font-family: "JetBrains Mono NL", 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace;
padding: 0;
border-radius: 0;
border: 0;
}
}