I generally don't keep image dimensions less than 10 pixels if it's repeating. Especially if it's something like 1px by 1px, the browser has to repeat it millions and millions of times. For the most part, it doesn't really matter, but that added 9 pixels might speed up the website for what little extra bandwidth it will initially take.