Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Select an option

  • Save isaacdanielanderson/70f3aae4c14b5777cfb01db779019cf2 to your computer and use it in GitHub Desktop.

Select an option

Save isaacdanielanderson/70f3aae4c14b5777cfb01db779019cf2 to your computer and use it in GitHub Desktop.

Revisions

  1. @lnpbk lnpbk created this gist Feb 27, 2014.
    20 changes: 20 additions & 0 deletions gistfile1.less
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,20 @@
    /*
    * Go to Settings > Themes > your stylesheet, and add the following
    */

    @line-height: 2em;

    .tree-view {

    }

    .editor {
    .line,
    .line-number {
    line-height: @line-height;
    }
    }

    .editor .cursor {
    line-height: @line-height;
    }