mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-10-26 11:08:40 +03:00
15 lines
315 B
Plaintext
15 lines
315 B
Plaintext
.badge {
|
|
padding: (@ui-padding/4) (@ui-padding/2.5);
|
|
min-width: (@ui-padding*1.25);
|
|
.text(highlight);
|
|
border-radius: (@ui-size*2);
|
|
background-color: @badge-background-color;
|
|
|
|
// Icon ----------------------
|
|
&.icon {
|
|
font-size: @ui-size;
|
|
padding: @ui-padding-icon (@ui-padding-icon*1.5);
|
|
}
|
|
|
|
}
|