style "large_bold_mono_text"
{
- font_name = "bold monospace @FONT_BIGGER@"
+ font_name = "@BOLD_MONOSPACE@ @FONT_BIGGER@"
}
style "larger_text"
style "monospace massive_text"
{
- font_name = "bold monospace @FONT_MASSIVE@"
+ font_name = "@BOLD_MONOSPACE@ @FONT_MASSIVE@"
}
style "larger_bold_text"
'LARGE' : '18',
'LARGER' : '28',
'HUGER' : '36',
- 'MASSIVE' : '60'
+ 'MASSIVE' : '60',
+ 'BOLD_MONOSPACE' : 'monospace'
}
else: # Linux/X11 fonts
basefont = '' # unspecified - use system defaults
'LARGE' : '18',
'LARGER' : '24',
'HUGER' : '34',
- 'MASSIVE' : '60'
- }
+ 'MASSIVE' : '60',
+ 'BOLD_MONOSPACE' : 'bold monospace'
+ }
# Set up font substitution dictionary
# @FONT_XXXX@