[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Info nodes titles font size customization
From: |
Rodolfo Medina |
Subject: |
Re: Info nodes titles font size customization |
Date: |
Sun, 05 Oct 2008 17:17:14 +0100 |
User-agent: |
Gnus/5.110007 (No Gnus v0.7) Emacs/22.0.50 (gnu/linux) |
Rodolfo Medina <rodolfo.medina@gmail.com> writes:
> In Info mode, node titles are hilightened by default. Scrolling the manual,
> I couldn't find out how to customize those font sizes.
>
> Is it possible, and how?
Peter Dyballa <Peter_Dyballa@Web.DE> writes:
> Position the cursor on one of the characters and type C-u C-x =. In the
> *Help* buffer you'll see the character's (and title's) face name reported,
> which you can customise (in GNU Emacs 23.0.60 from CVS it's a bit simpler).
Thanks. After customizing the font size, in my .emacs appeared the following
stuff:
(custom-set-faces
;; custom-set-faces was added by Custom.
;; If you edit it by hand, you could mess it up, so be careful.
;; Your init file should contain only one such instance.
;; If there is more than one, they won't work right.
'(info-menu-header ((t (:inherit variable-pitch :weight bold :height 1))))
'(info-title-1 ((t (:inherit info-title-2 :height 1))))
'(info-title-3 ((t (:inherit info-title-4 :height 1))))
'(info-xref ((t (:inherit link :height 1)))))
. How can I replace the `custom-set-faces' issue by some other command to
achieve the same result? `setq' does not work.
Thanks
Rodolfo
- Info nodes titles font size customization, Rodolfo Medina, 2008/10/05
- Re: Info nodes titles font size customization, Peter Dyballa, 2008/10/05
- Re: Info nodes titles font size customization,
Rodolfo Medina <=
- Re: Info nodes titles font size customization, Peter Dyballa, 2008/10/05
- Message not available
- Re: Info nodes titles font size customization, Rodolfo Medina, 2008/10/05
- RE: Info nodes titles font size customization, Drew Adams, 2008/10/05
- Re: Info nodes titles font size customization, harven, 2008/10/05
- Message not available
- Re: Info nodes titles font size customization, Rodolfo Medina, 2008/10/05
- Re: Info nodes titles font size customization, Lennart Borgman (gmail), 2008/10/05
- RE: Info nodes titles font size customization, Drew Adams, 2008/10/05
- Message not available
- Re: Info nodes titles font size customization, Joost Kremers, 2008/10/05
- Re: Info nodes titles font size customization, Richard Riley, 2008/10/06
- Re: Info nodes titles font size customization, Joost Kremers, 2008/10/07