style "small_bold_text"
{
- font_name = "sans bold 10"
+ font_name = "@SANS_BOLD_Big@"
}
style "medium_bold_text"
{
- font_name = "sans bold 11"
+ font_name = "@SANS_BOLD_BIG@"
}
style "medium_text"
# Plugin Editors
style "plugin_slider"
{
- font_name ="sans bold 10"
+ font_name ="@SANS_BOLD_Big@"
# the slider itself. the inactive part is INSENSITIVE,
# the active part is something else.