Advertisement
Guest User

Untitled

a guest
Apr 26th, 2017
52
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.75 KB | None | 0 0
  1. // change the color of the file line numbers
  2.  
  3. atom-text-editor.editor .line-number {
  4. color: rgb(50, 255, 50);
  5. }
  6. // lighten up the color of the selected file
  7.  
  8. .list-group .selected::before,
  9. .list-tree .selected::before {
  10. background-color: #555;
  11. }
  12. ////////////////////////////////////
  13. // inherited from other gist
  14. ////////////////////////////////////
  15.  
  16. .editor {
  17. .line-number {
  18. // make it green
  19. color: rgb(50, 255, 50);
  20. }
  21. // cram it together more
  22. line-height: 1.1em;
  23. // shrink the line numbers
  24. .gutter {
  25. .line-numbers {
  26. .line-number {
  27. font-size: 0.85em;
  28. }
  29. }
  30. }
  31. }
  32.  
  33. .tree-view {
  34. .entries {
  35. .entry {
  36. &,
  37. .header {
  38. // cram the folder tree together more
  39. line-height: 20px;
  40. }
  41. }
  42. }
  43. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement