diff options
| author | nana-4 <hnmaigo@gmail.com> | 2020-08-15 22:44:03 +0900 |
|---|---|---|
| committer | nana-4 <hnmaigo@gmail.com> | 2020-08-15 22:46:31 +0900 |
| commit | 9b42edbef45b269f11effada3e0cb82e34acafc1 (patch) | |
| tree | dd2c4cddce790e01efe6c5daac8de3fbdb584105 /gtk/theme | |
| parent | 303e023c3603c5fbd8ce8ca7a1b8883958005a4d (diff) | |
| download | gtk+-9b42edbef45b269f11effada3e0cb82e34acafc1.tar.gz | |
tooltip: Replace hard-coded margins with theme
So we can easily adjust the widget sizing in the theme.
Diffstat (limited to 'gtk/theme')
| -rw-r--r-- | gtk/theme/Adwaita/_common.scss | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss index 429bd371f0..bddf62f632 100644 --- a/gtk/theme/Adwaita/_common.scss +++ b/gtk/theme/Adwaita/_common.scss @@ -3604,10 +3604,14 @@ tooltip { color: white; } - padding: 4px; + padding: 10px; border-radius: 5px; box-shadow: none; // otherwise it gets inherited by windowframe.csd text-shadow: 0 1px black; + + > box { + border-spacing: 6px; + } } |