Fix for issue which could develop if manually changing theme allowing a fallback to theme/config.php if theme style variant config not available; also adjust default bootstrap3theme menuheight setting