mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-11 11:15:24 +03:00
65 lines
1.3 KiB
Plaintext
65 lines
1.3 KiB
Plaintext
|
|
// Panels
|
|
|
|
atom-panel {
|
|
.text(normal);
|
|
position: relative;
|
|
border-bottom: 1px solid @base-border-color;
|
|
|
|
&.top {
|
|
border-right: 1px solid @base-border-color;
|
|
}
|
|
&.left {
|
|
border-right: 1px solid @base-border-color;
|
|
}
|
|
&.right {
|
|
border-left: 1px solid @base-border-color;
|
|
}
|
|
&.bottom {
|
|
border-right: 1px solid @base-border-color;
|
|
}
|
|
&.footer:last-child {
|
|
border-bottom: none;
|
|
}
|
|
&.tool-panel:empty {
|
|
border: none;
|
|
}
|
|
}
|
|
|
|
.panel {
|
|
&.bordered {
|
|
border: 1px solid @base-border-color;
|
|
border-radius: @component-border-radius;
|
|
}
|
|
}
|
|
|
|
.inset-panel {
|
|
position: relative;
|
|
background-color: @inset-panel-background-color;
|
|
border-radius: @component-border-radius;
|
|
&.bordered {
|
|
border: 1px solid @base-border-color;
|
|
border-radius: @component-border-radius;
|
|
}
|
|
& .panel-heading {
|
|
border-color: @inset-panel-border-color;
|
|
}
|
|
}
|
|
|
|
.panel-heading {
|
|
.text(normal);
|
|
border-bottom: 1px solid @panel-heading-border-color;
|
|
background-color: @panel-heading-background-color;
|
|
|
|
.btn {
|
|
padding-left: 8px;
|
|
padding-right: 8px;
|
|
.btn-default(
|
|
lighten(@button-background-color, 10%),
|
|
lighten(@button-background-color-hover, 10%),
|
|
lighten(@button-background-color-selected, 10%),
|
|
lighten(@text-color, 10%)
|
|
);
|
|
}
|
|
}
|