-style "smallest_text"
-{
- font_name = "@FONT_TINY@"
-}
-
style "very_small_text"
{
font_name = "@FONT_SMALLER@"
font_name = "@FONT_SMALL@"
}
+style "small_mono_text"
+{
+ font_name = "bold monospace @FONT_SMALL@"
+}
+
style "small_italic_text"
{
font_name = "italic @FONT_SMALL@"
style "large_bold_mono_text"
{
- font_name = "bold monospace @FONT_LARGE@"
+ font_name = "@BOLD_MONOSPACE@ @FONT_BIGGER@"
}
style "larger_text"
font_name = "@FONT_MASSIVE@"
}
+style "monospace massive_text"
+{
+ font_name = "@BOLD_MONOSPACE@ @FONT_MASSIVE@"
+}
+
style "larger_bold_text"
{
font_name = "bold @FONT_LARGE@"