From d3d8a6ccda765632ec62c38623c87f0b9f66b55d Mon Sep 17 00:00:00 2001 From: YugaEgo Date: Sun, 5 Dec 2021 22:18:18 +0100 Subject: [PATCH] ; * etc/themes/manoj-dark-theme.el: Remove not defined face info-menu-5 * etc/themes/manoj-dark-theme.el (manoj-dark): Remove reference to face removed in 2005 (bug#52303). --- etc/themes/manoj-dark-theme.el | 1 - 1 file changed, 1 deletion(-) diff --git a/etc/themes/manoj-dark-theme.el b/etc/themes/manoj-dark-theme.el index f10b88507e3..e80403f5b34 100644 --- a/etc/themes/manoj-dark-theme.el +++ b/etc/themes/manoj-dark-theme.el @@ -541,7 +541,6 @@ jarring angry fruit salad look to reduce eye fatigue.") '(ido-indicator ((t (:background "red1" :foreground "yellow1" :width condensed)))) '(ido-only-match ((t (:foreground "ForestGreen")))) '(ido-subdir ((t (:foreground "red1")))) - '(info-menu-5 ((t (:underline t)))) '(info-menu-header ((t (:bold t :weight bold)))) '(info-node ((t (:bold t :italic t :foreground "yellow")))) '(info-node ((t (:italic t :bold t :foreground "white" :slant italic :weight bold)))) -- 2.39.2