mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-11-10 10:17:11 +03:00
Set font sizes
This commit is contained in:
parent
fe035d4d7c
commit
3fe22aa5c8
@ -9,6 +9,7 @@ body {
|
||||
height: 100%;
|
||||
overflow: hidden;
|
||||
font-family: @font-family;
|
||||
font-size: @font-size;
|
||||
}
|
||||
|
||||
h1,
|
||||
|
@ -66,7 +66,7 @@
|
||||
|
||||
// Sizes
|
||||
|
||||
@font-size: 12px;
|
||||
@font-size: 13px;
|
||||
|
||||
@disclosure-arrow-size: 12px;
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user