Make default font size slightly smaller

In accordance with the designs.

Contributes to issue CURA-6025.
This commit is contained in:
Ghostkeeper 2018-12-31 13:11:24 +01:00
parent b54312fb9b
commit b5c406dc43
No known key found for this signature in database
GPG Key ID: 86BEF881AE2CF276

View File

@ -25,17 +25,17 @@
"family": "Noto Sans" "family": "Noto Sans"
}, },
"default": { "default": {
"size": 1.0, "size": 0.95,
"weight": 40, "weight": 40,
"family": "Noto Sans" "family": "Noto Sans"
}, },
"default_bold": { "default_bold": {
"size": 1.0, "size": 0.95,
"weight": 60, "weight": 60,
"family": "Noto Sans" "family": "Noto Sans"
}, },
"default_italic": { "default_italic": {
"size": 1.0, "size": 0.95,
"weight": 40, "weight": 40,
"italic": true, "italic": true,
"family": "Noto Sans" "family": "Noto Sans"