<p><a href="https://user-images.githubusercontent.com/306953/29741108-83ceb258-8a66-11e7-8211-13f929d98be2.png" target="_blank"><img src="https://user-images.githubusercontent.com/306953/29741108-83ceb258-8a66-11e7-8211-13f929d98be2.png" alt="font_size_prob2" style="max-width:100%;"></a></p>
<p><em>Tuning:</em><br>
The same look for VSCode can be achieved by setting the font size to 11, but still, the font looks more bold, especially the numbering, which, depending on the color theme, can be somehow eye straining (in my humble opinion). In this Image you can see the tight line height more clearly, which is also due to the slightly bolder font, maybe?</p>
<p>Of course, this font is just one of many available other fonts, but I think the core problem of mismatch font size and line height still remain for them too.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/issues/703#issuecomment-325120546">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ7-upOWAvGp6ZSzy3XkvCHuIky1lks5scAnrgaJpZM4GSnif">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJx40B5UUDuqOwebA2pE74JpjuEXpks5scAnrgaJpZM4GSnif.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/geany/geany/issues/703#issuecomment-325120546"></link>
  <meta itemprop="name" content="View Issue"></meta>
</div>
<meta itemprop="description" content="View this Issue on GitHub"></meta>
</div>

<script type="application/json" data-scope="inboxmarkup">{"api_version":"1.0","publisher":{"api_key":"05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":{"external_key":"github/geany/geany","title":"geany/geany","subtitle":"GitHub repository","main_image_url":"https://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88-11e6-95fc-7290892c7bb5.png","avatar_image_url":"https://cloud.githubusercontent.com/assets/143418/15842166/7c72db34-2c0b-11e6-9aed-b52498112777.png","action":{"name":"Open in GitHub","url":"https://github.com/geany/geany"}},"updates":{"snippets":[{"icon":"PERSON","message":"@Johndeep in #703: \r\n\r\n_Tuning:_\r\nThe same look for VSCode can be achieved by setting the font size to 11, but still, the font looks more bold, especially the numbering, which, depending on the color theme, can be somehow eye straining (in my humble opinion). In this Image you can see the tight line height more clearly, which is also due to the slightly bolder font, maybe?\r\n\r\nOf course, this font is just one of many available other fonts, but I think the core problem of mismatch font size and line height still remain for them too."}],"action":{"name":"View Issue","url":"https://github.com/geany/geany/issues/703#issuecomment-325120546"}}}</script>