closes #11: optimize html v2 size a little

Author: bukzor

libcpychecker_html/extlib/jquery-1.7.1.min.js

@@ -77,16 +77,16 @@ def head(self):
                 media='screen',
                 type='text/css'
             )
-            for css in ('extlib/reset-20110126', 'pygments_c', 'style')
+            for css in ('extlib/reset-20110126.min', 'pygments_c', 'style')
         )
         head.extend(
             E.SCRIPT(
                 file_contents(js + '.js'),
                 type='text/javascript',
             )
             for js in (
+                'extlib/zepto-1.1.3.min',
                 'extlib/prefixfree-1.0.4.min',
-                'extlib/jquery-1.7.1.min',
                 'script'
             )
         )

libcpychecker_html/extlib/reset-20110126.css

@@ -89,10 +89,10 @@ $(function() {
                     // state commentary, highlight the dot and the comment and
                     // the row itself
                     var $group = $row.add(flow[0].$state).add($new_cell);
-                    $new_cell.add(flow[0].$state).hover(
-                        function() { $group.addClass('selected'); },
-                        function() { $group.removeClass('selected'); }
-                    );
+                    $new_cell.add(flow[0].$state).on({
+                        mouseenter: function() { $group.addClass('selected'); },
+                        mouseleave: function() { $group.removeClass('selected'); }
+                    });
 
                     flow.shift();
                 }
@@ -117,10 +117,10 @@ $(function() {
             // with that line
             if ($selectables.length) {
                 $selectables = $selectables.add($row);
-                $row.find('td:last-child').hover(
-                    function() { $selectables.addClass('selected') },
-                    function() { $selectables.removeClass('selected') }
-                );
+                $row.find('td:last-child').on({
+                    mouseenter: function() { $selectables.addClass('selected') },
+                    mouseleave: function() { $selectables.removeClass('selected') }
+                });
             }
         });
     });