Hmmm, always thought it was better to define in HTML, but guess it doesn't matter - https://developers.google.com/speed/docs/best-practices/rendering?hl=nl#SpecifyImageDimensions

Still would though, in case user agent has css turned off