Skip to content

Instantly share code, notes, and snippets.

@patrickskim
Created March 2, 2014 00:17
Show Gist options
  • Save patrickskim/9299769 to your computer and use it in GitHub Desktop.
Save patrickskim/9299769 to your computer and use it in GitHub Desktop.
atom.io (smaller tabs and line numbers)
// Editor
.editor {
.gutter {
.line-number {
padding: 0 0 0 0.25em;
.icon-right {
padding-right: 0.1em
}
}
}
.cursor {}
}
// Thinner Tabs
.tab-bar {
height: 34px;
padding: 0;
.tab {
-webkit-transform: none;
top: 2px; line-height: 25px;
&.active {
height: 25px;
&:before {
height: 25px;
}
}
&:before {
-webkit-transform: none;
width: 18px;
}
.close-icon {
-webkit-transform: none;
line-height: 25px;
}
.title {
-webkit-transform: none;
}
}
}
@ericfreese
Copy link

It looks like there's a @tab-height ui variable. Is there some way to override ui variables?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment