Google

NAME="GENERATOR" CONTENT="Modular DocBook HTML Stylesheet Version 1.70 ">

%guilabel-font-family%

Name

%guilabel-font-family% -- The font family used in GUI labels

Synopsis

%guilabel-font-family%

Description

The name of the font family used for text that represents text on a GUI (e.g., text in GUILabel, GUIMenu, etc.). (Arial by default).

The values used here are system dependent (you have to have the fonts you select) and backend dependent (the backend has to know how to use them).

The values here work for the RTF backend under MS Windows. YMMV.

Source Code

(define %guilabel-font-family%
  ;; The font family used in GUI labels
  "Arial")