diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-10-01 18:26:27 +0300 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-10-01 18:26:27 +0300 |
commit | 9adadcb4c47e0ab6344df8057115325673572267 (patch) | |
tree | ae39ffc3baa1635803cb481f864f06c924aa2a1f /src/ui/text.h | |
parent | 5c7417c547b84c30eee42fce57cb09e0552ac34f (diff) |
Added a 90% sized UI font for URL bar indicators
The 80% size is used in the toolbar.
Diffstat (limited to 'src/ui/text.h')
-rw-r--r-- | src/ui/text.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/ui/text.h b/src/ui/text.h index 21ed4c8e..35ae48f8 100644 --- a/src/ui/text.h +++ b/src/ui/text.h | |||
@@ -35,7 +35,8 @@ enum iFontSize { | |||
35 | uiMedium_FontSize, /* 1.125 */ | 35 | uiMedium_FontSize, /* 1.125 */ |
36 | uiBig_FontSize, /* 1.333 */ | 36 | uiBig_FontSize, /* 1.333 */ |
37 | uiLarge_FontSize, /* 1.666 */ | 37 | uiLarge_FontSize, /* 1.666 */ |
38 | uiSmall_FontSize, /* 0.800 */ | 38 | uiSmall_FontSize, /* 0.900 */ |
39 | uiTiny_FontSize, /* 0.800 */ | ||
39 | contentRegular_FontSize, | 40 | contentRegular_FontSize, |
40 | contentMedium_FontSize, | 41 | contentMedium_FontSize, |
41 | contentBig_FontSize, | 42 | contentBig_FontSize, |
@@ -60,6 +61,7 @@ enum iFontId { | |||
60 | defaultBig_FontId, | 61 | defaultBig_FontId, |
61 | defaultLarge_FontId, | 62 | defaultLarge_FontId, |
62 | defaultSmall_FontId, | 63 | defaultSmall_FontId, |
64 | defaultTiny_FontId, | ||
63 | /* UI fonts: bold weight */ | 65 | /* UI fonts: bold weight */ |
64 | defaultBold_FontId, | 66 | defaultBold_FontId, |
65 | defaultMediumBold_FontId, | 67 | defaultMediumBold_FontId, |