From 8ca8d7ab81df771b3f3b8f1f261a94f37ccc6abc Mon Sep 17 00:00:00 2001 From: rekado Date: Mon, 18 Jul 2016 21:19:13 +0200 Subject: Use variable-pitch font in manual headings. --- init.org | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/init.org b/init.org index a415bd6..1f83fe0 100644 --- a/init.org +++ b/init.org @@ -185,6 +185,32 @@ pretty, especially when it’s rendered large. (set-face-attribute 'variable-pitch nil :height 1.25 :family "Linux Biolinum") #+END_SRC +* Manuals +:PROPERTIES: +:noweb-ref: manuals +:END: + +Also in Info manuals I want to use variable-pitch fonts where +possible. Unfortunately, Info manuals don’t contain enough semantic +markup, so I cannot selectively use a monospace font for examples or +inline code and use a variable pitch font for everything else. So I +just use variable pitch in headings. + +#+BEGIN_SRC elisp +(set-face-attribute 'info-title-1 nil + :inherit 'variable-pitch + :height 1.3) +(set-face-attribute 'info-title-2 nil + :inherit 'variable-pitch + :height 1.3) +(set-face-attribute 'info-title-3 nil + :inherit 'variable-pitch + :height 1.3) +(set-face-attribute 'info-menu-header nil + :inherit 'variable-pitch + :height 1.1) +#+END_SRC + * Org-mode :PROPERTIES: :noweb-ref: org-mode @@ -754,6 +780,7 @@ put them all together to build the init file <> <> <> +<> <> <> <> -- cgit v1.2.3