mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-12-27 08:32:30 +03:00
73 lines
1.2 KiB
Plaintext
73 lines
1.2 KiB
Plaintext
@import "ui-variables";
|
|
|
|
:focus {
|
|
outline: none;
|
|
}
|
|
|
|
.pull-center {
|
|
margin-left: auto;
|
|
margin-right: auto;
|
|
}
|
|
|
|
.padded {
|
|
padding: @component-padding;
|
|
}
|
|
|
|
// Blocks
|
|
|
|
// Must be div.block so as not to affect syntax highlighting.
|
|
ul.block,
|
|
div.block {
|
|
margin-bottom: @component-padding;
|
|
}
|
|
div > ul.block:last-child,
|
|
div > div.block:last-child {
|
|
margin-bottom: 0;
|
|
}
|
|
|
|
// Inline Blocks
|
|
|
|
.inline-block,
|
|
.inline-block-tight {
|
|
display: inline-block;
|
|
vertical-align: middle;
|
|
}
|
|
.inline-block {
|
|
margin-right: @component-padding;
|
|
}
|
|
.inline-block-tight {
|
|
margin-right: @component-padding/2;
|
|
}
|
|
div > .inline-block:last-child,
|
|
div > .inline-block-tight:last-child {
|
|
margin-right: 0;
|
|
}
|
|
|
|
// Use left margin when it's in a float: right element.
|
|
// Sets the margin correctly when inline blocks are hidden and shown.
|
|
.pull-right {
|
|
.inline-block {
|
|
margin-right: 0;
|
|
margin-left: @component-padding;
|
|
}
|
|
.inline-block-tight {
|
|
margin-right: 0;
|
|
margin-left: @component-padding/2;
|
|
}
|
|
|
|
> .inline-block:first-child,
|
|
> .inline-block-tight:first-child {
|
|
margin-left: 0;
|
|
}
|
|
}
|
|
|
|
.error {
|
|
-webkit-animation: flash-error 0.3s ease-in;
|
|
}
|
|
|
|
@-webkit-keyframes flash-error {
|
|
0% { background: @background-color-error; }
|
|
|
|
100% { background: auto; }
|
|
}
|