Where do I add the additional CSS? I tried under Appearance/Customise>Additional CSS with my child theme and it was not honoured. The only other obvious place seems to be Ajax Pro style.basic.css.php file in the plugin folder. Ideally I want to avoid that to ensure it does not get overwritten on the next update.