diff options
| author | Dan Allen <dan.j.allen@gmail.com> | 2019-07-30 04:26:19 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-30 04:26:19 -0600 |
| commit | 7b8bf9908efab2aed5e9038de34074a7a06a38cc (patch) | |
| tree | 0fdc9bbac10352510dcbfb6ee4ea7df2952f1727 /data | |
| parent | c0b694f1fe88747934e4bc681b60fc5ce9278c4b (diff) | |
resolves #459 add support for big and small roles on phrases (PR #1177)
Diffstat (limited to 'data')
| -rw-r--r-- | data/themes/base-theme.yml | 2 | ||||
| -rw-r--r-- | data/themes/default-theme.yml | 6 |
2 files changed, 8 insertions, 0 deletions
diff --git a/data/themes/base-theme.yml b/data/themes/base-theme.yml index 3095efba..b982eb6f 100644 --- a/data/themes/base-theme.yml +++ b/data/themes/base-theme.yml @@ -21,6 +21,8 @@ base_line_height: 1.15 base_line_height_length: 13.8 base_border_color: 'EEEEEE' base_border_width: 0.5 +role_big_font_size: 14 +role_small_font_size: 10 button_content: '[%s]' button_font_family: Courier button_font_style: bold diff --git a/data/themes/default-theme.yml b/data/themes/default-theme.yml index 63b21b0c..9441489e 100644 --- a/data/themes/default-theme.yml +++ b/data/themes/default-theme.yml @@ -51,6 +51,12 @@ base: border_color: eeeeee border_radius: 4 border_width: 0.5 +role: + big: + font_size: $base_font_size_large +role: + small: + font_size: $base_font_size_small # FIXME vertical_rhythm is weird; we should think in terms of ems #vertical_rhythm: $base_line_height_length * 2 / 3 # correct line height for Noto Serif metrics (comes with built-in line height) |