html (and cursor) stuff