mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-19 15:08:08 +03:00
Use configured font settings in tooltips
This commit is contained in:
parent
1ad1172847
commit
54ca895777
6
static/bootstrap-overrides.less
vendored
6
static/bootstrap-overrides.less
vendored
@ -26,3 +26,9 @@ 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;
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user