pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2024-11-13 08:44:12 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add .bordered panel

Browse Source
This commit is contained in:
Ben Ogle 2013-09-06 11:20:37 -07:00
parent 57f6558602
commit ee131f7012
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
themes/atom-dark-ui/panels.less
View File

@ -2,6 +2,17 @@
@import "ui-variables";
@import "buttons";
.panel {
&.bordered {
border: 1px solid @base-border-color;
border-radius: @component-border-radius;
.panel-heading {
border-radius: @component-border-radius @component-border-radius 0 0;
}
}
}
.tool-panel {
.text(normal);
position: relative;