mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2025-01-07 07:40:40 +03:00
42 lines
705 B
Plaintext
42 lines
705 B
Plaintext
@import "ui-variables";
|
|
|
|
.nav {
|
|
> li > a {
|
|
border-radius: @component-border-radius;
|
|
}
|
|
> li > a:hover {
|
|
background-color: @background-color-highlight;
|
|
}
|
|
|
|
&.nav-pills > li.active > a {
|
|
background-color: @background-color-selected;
|
|
}
|
|
}
|
|
|
|
h1,
|
|
h2,
|
|
h3,
|
|
h4,
|
|
h5,
|
|
h6 {
|
|
font-family: inherit; // inherit from themes
|
|
}
|
|
|
|
body {
|
|
font-family: inherit; // inherit from html
|
|
font-size: inherit; // inherit from html
|
|
}
|
|
|
|
// Latest Bootstrap specifies the font properties again instead of inheriting
|
|
.tooltip {
|
|
font-family: @font-family;
|
|
font-size: @font-size;
|
|
}
|
|
|
|
// disable some <kbd> styling, will be styled in themes
|
|
kbd {
|
|
color: inherit;
|
|
background-color: none;
|
|
box-shadow: none;
|
|
}
|