diff options
| author | jao <jao@gnu.org> | 2015-01-07 08:25:31 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2015-01-07 08:25:43 +0100 |
| commit | f0d803e6fd0033f56e11436f2b1bca925abff526 (patch) | |
| tree | d816f022dedaca695a425e9c8051d7bd5de3336e /themes/jao-themes.el | |
| parent | c08aa5d89c420e3319c31779679b44c30a095fa1 (diff) | |
| download | elibs-f0d803e6fd0033f56e11436f2b1bca925abff526.tar.gz elibs-f0d803e6fd0033f56e11436f2b1bca925abff526.tar.bz2 | |
Theme tweaks
Diffstat (limited to 'themes/jao-themes.el')
| -rw-r--r-- | themes/jao-themes.el | 1 |
1 files changed, 1 insertions, 0 deletions
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)) |