[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Default Info face
|
From: |
Manuel Giraud |
|
Subject: |
Default Info face |
|
Date: |
Wed, 18 Dec 2024 11:00:54 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Hi,
If I'm not mistaken, currently, the face used for the text body of Info
nodes is `default'. I was wondering if there would be any interest in
having an `info' face defined for this usage. I imagine that it could
inherit for `variable-pitch-text' as "shr.el" is doing. I also guess
that it would have an impact on some sub-faces (like `info-title*' for
example). WDYT?
--
Manuel Giraud