diff options
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>> |