From 85ca17dd7fd3d3aaf8be81d2358809a7768d598e Mon Sep 17 00:00:00 2001 From: YugaEgo Date: Sun, 5 Dec 2021 19:32:44 +0200 Subject: [PATCH] ; * etc/themes/manoj-dark-theme.el: Remove not defined face info-menu-5 Copyright-paperwork-exempt: yes --- 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 f10b88507e..e80403f5b3 100644 --- a/etc/themes/manoj-dark-theme.el +++ b/etc/themes/manoj-dark-theme.el @@ -541,7 +541,6 @@ manoj-dark '(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.34.1