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 |