equal
deleted
inserted
replaced
55 </div> |
55 </div> |
56 </div> |
56 </div> |
57 <a class="tv" href="#">Ouvrir la fenêtre TV</a> |
57 <a class="tv" href="#">Ouvrir la fenêtre TV</a> |
58 </div> |
58 </div> |
59 <script> |
59 <script> |
60 var pathToDwrServlet = "http://159.217.144.101:8050/sia-solr/dwr"; |
60 var solrUrlBase = "http://159.217.144.101:8050/sia-solr/", |
|
61 tweetTimeDelta = 54, |
|
62 tweetStartDate = new Date("Wed, 02 May 2012 19:00:00 +0000"), |
|
63 pathToDwrServlet = solrUrlBase + "dwr", |
|
64 removeBiggestTopic = true, |
|
65 tvCoords = { |
|
66 left: 200, |
|
67 top: 200, |
|
68 width: 640, |
|
69 height: 360 |
|
70 }; |
61 </script> |
71 </script> |
62 <script src="lib/underscore-min.js"></script> |
72 <script src="lib/underscore-min.js"></script> |
63 <script src="lib/jquery.min.js"></script> |
73 <script src="lib/jquery.min.js"></script> |
64 <script src="lib/jquery-ui.min.js"></script> |
74 <script src="lib/jquery-ui.min.js"></script> |
65 <script src="lib/jquery.mousewheel.min.js"></script> |
75 <script src="lib/jquery.mousewheel.min.js"></script> |