theme: add more border and margin to notifications

This commit is contained in:
Vincent Bernat 2020-08-05 21:12:29 +02:00
parent aab2b7cd8b
commit 47580e28d3

View file

@ -61,6 +61,8 @@ end
naughty.config.presets.normal.bg = "#111111"
for _, preset in pairs({"normal", "low", "critical"}) do
naughty.config.presets[preset].font = "DejaVu Sans " .. 10 * theme.scale
naughty.config.presets[preset].margin = 12 * theme.scale
naughty.config.presets[preset].border_width = 3 * theme.scale
end
return theme