lor because it could be "red" or #FF0000 or rgb(...
						// Not checking border-width because on IE it's 4px, but border-style is none
						// (which means that there's really no border).
						var d = new doh.Deferred();
						setTimeout(d.getTestCallback(function(){
							var h1styles = query("h1", editor.window.document).style("borderTopStyle");
							doh.is(1, h1styles.length, "found h1");
							doh.is("none", h1styles[0], "h1 border style");
						}), 250);
						return d;
					}
				}
			]);

			