| OLD | NEW |
| 1 <HEAD> | 1 <HEAD> |
| 2 | 2 |
| 3 <STYLE type="text/css"> | 3 <STYLE type="text/css"> |
| 4 | 4 |
| 5 .wholeSearch | 5 .wholeSearch |
| 6 { | 6 { |
| 7 float: left; | 7 float: left; |
| 8 background-color: lightblue; | 8 background-color: lightblue; |
| 9 padding: 5px; | 9 padding: 5px; |
| 10 margin: 5px; | 10 margin: 5px; |
| (...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 49 </DIV> | 49 </DIV> |
| 50 <style> | 50 <style> |
| 51 @font-face { | 51 @font-face { |
| 52 font-family: 'times'; | 52 font-family: 'times'; |
| 53 src: local('Lucida Grande'); | 53 src: local('Lucida Grande'); |
| 54 unicode-range: U+25B8, U+25BE; | 54 unicode-range: U+25B8, U+25BE; |
| 55 } | 55 } |
| 56 </style> | 56 </style> |
| 57 <script> | 57 <script> |
| 58 if (window.eventSender) { | 58 if (window.eventSender) { |
| 59 // Mouse events only work after an initial layout | |
| 60 document.body.offsetLeft; | |
| 61 eventSender.mouseMoveTo(23,26); | 59 eventSender.mouseMoveTo(23,26); |
| 62 eventSender.mouseDown(); | 60 eventSender.mouseDown(); |
| 63 eventSender.mouseUp(); | 61 eventSender.mouseUp(); |
| 64 eventSender.mouseDown(); | 62 eventSender.mouseDown(); |
| 65 eventSender.mouseUp(); | 63 eventSender.mouseUp(); |
| 66 eventSender.mouseDown(); | 64 eventSender.mouseDown(); |
| 67 eventSender.mouseUp(); | 65 eventSender.mouseUp(); |
| 68 eventSender.mouseDown(); | 66 eventSender.mouseDown(); |
| 69 eventSender.mouseUp(); | 67 eventSender.mouseUp(); |
| 70 } | 68 } |
| 71 </script> | 69 </script> |
| 72 | 70 |
| 73 </BODY> | 71 </BODY> |
| OLD | NEW |