- int font_head = MENU_INFO_FONT_HEAD;
- int font_text = MENU_INFO_FONT_TEXT;
- int font_foot = MENU_INFO_FONT_FOOT;
- int spacing_para = menu.paragraph_spacing[GAME_MODE_SCOREINFO];
- int spacing_line = menu.line_spacing[GAME_MODE_SCOREINFO];
- int spacing_left = menu.left_spacing[GAME_MODE_SCOREINFO];
- int spacing_top = menu.top_spacing[GAME_MODE_SCOREINFO];
+ int font_head = MENU_INFO_FONT_HEAD;
+ int font_text = MENU_INFO_FONT_TEXT;
+ int font_foot = MENU_INFO_FONT_FOOT;
+ int spacing_para = menu.paragraph_spacing[GAME_MODE_SCOREINFO];
+ int spacing_line = menu.line_spacing[GAME_MODE_SCOREINFO];
+ int spacing_left = menu.left_spacing[GAME_MODE_SCOREINFO];
+ int spacing_top = menu.top_spacing[GAME_MODE_SCOREINFO];