From f0d803e6fd0033f56e11436f2b1bca925abff526 Mon Sep 17 00:00:00 2001 From: jao Date: Wed, 7 Jan 2015 08:25:31 +0100 Subject: Theme tweaks --- themes/jao-themes.el | 1 + 1 file changed, 1 insertion(+) (limited to 'themes/jao-themes.el') diff --git a/themes/jao-themes.el b/themes/jao-themes.el index 1dfbb93..26bd15a 100644 --- a/themes/jao-themes.el +++ b/themes/jao-themes.el @@ -507,6 +507,7 @@ (info-title-2 (~ outline-2) bf) (info-title-3 (~ outline-3) bf) (info-title-4 (~ outline-4) bf) + (Info-quoted (p f01)) (info-xref link) (info-xref-visited vlink) (isearch bf (p hilite)) -- cgit v1.2.3