/*
 * 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;
}