pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2024-09-21 07:58:04 +03:00
Code Issues Packages Projects Releases Wiki Activity

Move inset-panel out of tool-panel

Browse Source
This commit is contained in:
Ben Ogle & Kevin Sawicki 2013-09-05 16:58:32 -07:00 committed by Ben Ogle
parent e3a78bab9c
commit 01bfe77eb7
1 changed files with 12 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -21,23 +21,24 @@
&.panel-left {
border-right: 1px solid @tool-panel-border-color;
}
}
.inset-panel {
border-radius: @component-border-radius;
border: 1px solid @tool-panel-border-color;
border-bottom-color: @background-color-highlight;
border-right-color: @background-color-highlight;
.panel-heading {
margin-right: 1px;
}
}
.panel-heading {
.text(normal);
}
.inset-panel {
position: relative;
background-color: @inset-panel-background-color;
border-radius: @component-border-radius;
border: 1px solid @tool-panel-border-color;
border-bottom-color: @background-color-highlight;
border-right-color: @background-color-highlight;
.panel-heading {
margin-right: 1px;
}
}
.is-blurred {