diff options
author | rekado <rekado@elephly.net> | 2016-07-18 21:19:13 +0200 |
---|---|---|
committer | rekado <rekado@elephly.net> | 2016-07-18 21:19:13 +0200 |
commit | 8ca8d7ab81df771b3f3b8f1f261a94f37ccc6abc (patch) | |
tree | 545cb77a684ce5a78527c35e157d7e7ca9d12bcb /init.org | |
parent | 56435c5a93f4dfb78eab16db0a302bdefc0a5fc2 (diff) |
Use variable-pitch font in manual headings.
Diffstat (limited to 'init.org')
-rw-r--r-- | init.org | 27 |
1 files changed, 27 insertions, 0 deletions
@@ -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 <<initial>> <<packages>> <<default-fonts>> +<<manuals>> <<tramp>> <<shell>> <<ido-lazy>> |