Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- // change the color of the file line numbers
- atom-text-editor.editor .line-number {
- color: rgb(50, 255, 50);
- }
- // lighten up the color of the selected file
- .list-group .selected::before,
- .list-tree .selected::before {
- background-color: #555;
- }
- ////////////////////////////////////
- // inherited from other gist
- ////////////////////////////////////
- .editor {
- .line-number {
- // make it green
- color: rgb(50, 255, 50);
- }
- // cram it together more
- line-height: 1.1em;
- // shrink the line numbers
- .gutter {
- .line-numbers {
- .line-number {
- font-size: 0.85em;
- }
- }
- }
- }
- .tree-view {
- .entries {
- .entry {
- &,
- .header {
- // cram the folder tree together more
- line-height: 20px;
- }
- }
- }
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement