improve line number alignment
Hunter
Wednesday, August 6th, 2025 at 3:37 PM
89 .cm-content {
90 padding: 15px;
91 font-size: 21px;
- line-height: 1.5;
92 + line-height: 1.6;
93 + }
94 +
95 + .cm-gutters {
96 + font-size: 21px;
97 + line-height: 1.6;
98 + user-select: none;
99 + }
100 +
101 + .cm-lineNumbers .cm-gutterElement {
102 + line-height: 1.6;
103 + font-size: 21px;
104 + }
105 +
106 + .ΝΌ1 .cm-lineNumbers .cm-gutterElement {
107 + padding-right: 0;
108 + padding-left: 8px;
109 }
110
111 .cm-focused {