Complete the HTML Standard: Finish the global mouse events