I was unable to get the font sizes right, to change only the base font to affect all proportions, and to colorize the indented comments the way I like them. Maybe I just wasn't able to find the settings, though.