Closed vyshah closed 9 years ago
Reading the line number can be a little difficult as it blends in with the background. Making the line number bold is subtle, but helpful.
Sorry, but I intended this theme to have minimal styling so that it remains consistent for users who prefer bitmap fonts (where italic and bold often looks bad) and those who prefer truetype fonts.
Reading the line number can be a little difficult as it blends in with the background. Making the line number bold is subtle, but helpful.