mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-11-10 18:24:09 +03:00
61 lines
1.0 KiB
Plaintext
61 lines
1.0 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.
|
|
div.block {
|
|
margin-bottom: @component-padding;
|
|
}
|
|
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;
|
|
}
|
|
}
|