Style touchups in IFRAME example