ui: default theme: reduce highlighting noise in bottom border help

This commit is contained in:
Simon Michael 2018-10-15 13:49:15 -07:00
parent 89712fe81d
commit e52430bd62

View File

@ -74,7 +74,7 @@ themesList = [
(borderAttr <> "bold", white `on` black & bold),
(borderAttr <> "query", cyan `on` black & bold),
(borderAttr <> "depth", yellow `on` black & bold),
(borderAttr <> "keys", white `on` black & bold),
(borderAttr <> "keys", black `on` white & bold),
(borderAttr <> "minibuffer", white `on` black & bold),
-- ("normal" , black `on` white),
("list" , black `on` white), -- regular list items