Adds an customizable Font size to the Stylus Editor and makes the Editor bold.
Stylus Editor Custom Font size by spider1996
Details
Authorspider1996
LicenseNo License
CategoryStylus
Created
Updated
Size538 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 Stylus Editor Custom Font size
@namespace https://userstyles.world/user/spider1996
@version 1.0.0
@description Makes the Font size customizable and bold
@author Spider1996
@license CC0-1.0
@preprocessor stylus
@var range fs1 "Editor Font Size" [16, 8, 40, 1, "px"]
==/UserStyle== */
@-moz-document url-prefix("chrome-extension://clngdbkpkpeebahjckkjfobafhncgmne") {
/* Bigger Font for Editor */
.CodeMirror {
font-weight: bold !important;
font-size: fs1 !important;
}
}