speedup tooltip

IPython/frontend/html/notebook/static/css/style.min.css

@@ -115,7 +115,6 b' pre,code,kbd,samp{white-space:pre-wrap;}'
 .smalltooltip{-webkit-transition-property:height;-webkit-transition-duration:500ms;-moz-transition-property:height;-moz-transition-duration:500ms;transition-property:height;transition-duration:500ms;text-overflow:ellipsis;overflow:hidden;height:80px;}
 .tooltipbuttons{position:absolute;padding-right:15px;top:0px;right:0px;}
 .tooltiptext{padding-right:30px;}
-.ipython_tooltip{max-width:700px;-webkit-animation:fadeOut 800ms;-moz-animation:fadeOut 800ms;animation:fadeOut 800ms;-webkit-animation:fadeIn 800ms;-moz-animation:fadeIn 800ms;animation:fadeIn 800ms;vertical-align:middle;background-color:#f7f7f7;overflow:visible;border:#e0e0e0 1px solid;outline:none;padding:3px;margin:0px;padding-left:7px;font-family:monospace;min-height:50px;position:absolute;-moz-box-shadow:0px 6px 10px -1px #adadad;-webkit-box-shadow:0px 6px 10px -1px #adadad;box-shadow:0px 6px 10px -1px #adadad;border-radius:3px;}.ipython_tooltip a{float:right;}
 .pretooltiparrow{left:0px;margin:0px;top:-16px;width:40px;height:16px;overflow:hidden;position:absolute;}
 .pretooltiparrow:before{background-color:#f7f7f7;border:1px #e0e0e0 solid;z-index:11;content:"";position:absolute;left:15px;top:10px;width:25px;height:25px;-webkit-transform:rotate(45deg);-moz-transform:rotate(45deg);-ms-transform:rotate(45deg);-o-transform:rotate(45deg);}
 .corner-all{border-radius:3px;}

IPython/frontend/html/notebook/static/less/tooltip.less

@@ -98,15 +98,15 b''
     padding-right:30px
 }
 
-.ipython_tooltip {
+.ipython_tooltip(@t:400ms) {
     max-width:700px;
     /*fade-in animation when inserted*/
-    -webkit-animation: fadeOut 800ms;
-    -moz-animation: fadeOut 800ms;
-    animation: fadeOut 800ms;
-    -webkit-animation: fadeIn 800ms;
-    -moz-animation: fadeIn 800ms;
-    animation: fadeIn 800ms;
+    -webkit-animation: fadeOut @t;
+    -moz-animation: fadeOut @t;
+    animation: fadeOut @t;
+    -webkit-animation: fadeIn @t;
+    -moz-animation: fadeIn @t;
+    animation: fadeIn @t;
     vertical-align: middle;
     background-color: @cell_background;