diff --git a/IPython/frontend/html/notebook/static/css/tooltip.css b/IPython/frontend/html/notebook/static/css/tooltip.css index 2ec102b..9381393 100644 --- a/IPython/frontend/html/notebook/static/css/tooltip.css +++ b/IPython/frontend/html/notebook/static/css/tooltip.css @@ -2,16 +2,7 @@ * Primary styles * * Author: IPython Development Team - */ -/** - * WARNING IF YOU ARE EDITTING THIS FILE, - * if this is a .css file, It has a lot of chance of beeing generated from the - * ../css/[samename].less file, it might not stay a less file forever, - * but as until now it is convenient to developp using less - * - * it it's a less file, don't forget to recompile it - */ -/* + * * We'll try to get something prety, so we * have some strange ccs to have the scroll bar on * the left of the left with fix button on the top right of the tooltip diff --git a/IPython/frontend/html/notebook/static/less/tooltip.less b/IPython/frontend/html/notebook/static/less/tooltip.less deleted file mode 100644 index c9b3ec0..0000000 --- a/IPython/frontend/html/notebook/static/less/tooltip.less +++ /dev/null @@ -1,186 +0,0 @@ -/** - * Primary styles - * - * Author: IPython Development Team - */ - -/** - * WARNING IF YOU ARE EDITTING THIS FILE, - * if this is a .css file, It has a lot of chance of beeing generated from the - * ../css/[samename].less file, it might not stay a less file forever, - * but as until now it is convenient to developp using less - * - * it it's a less file, don't forget to recompile it - */ -/* - * We'll try to get something prety, so we - * have some strange ccs to have the scroll bar on - * the left of the left with fix button on the top right of the tooltip - */ - -// double slash comment are remove by less compilation -// ** -// * Less mixins -// **/ - -// Four color of the background -@c1 : rgb(215,215,215); -@c2 : rgb(210,210,210); -@c3 : rgb(227,227,227); -@c4 : rgb(247,247,247); -@bordercolor : #BBB; -@borderwidth : 1px; -@textColor : #000; - -// smoth height adaptation -.smoothheight(@t:1s) { - -webkit-transition-property: height; - -webkit-transition-duration: 1s; - -moz-transition-property: height; - -moz-transition-duration: 1s; - transition-property: height; - transition-duration: 1s; -} - -@-moz-keyframes fadeOut { - from {opacity:1;} - to {opacity:0;} -} - -@-webkit-keyframes fadeOut { - from {opacity:1;} - to {opacity:0;} -} - -//@keyframes fadeOut { -// from {opacity:1;} -// to {opacity:0;} -//} - -@-moz-keyframes fadeIn { - from {opacity:0;} - to {opacity:1;} -} - -@-webkit-keyframes fadeIn { - from {opacity:0;} - to {opacity:1;} -} - -//@keyframes fadeIn { -// from {opacity:0;} -// to {opacity:1;} -//} - -.linearGradient(@stop1:0, @color1:#ccc, @stop2:33%, @color2:#ddd, @stop3:66%, @color3:#ccc, @stop4:100%, @color4:#ddd){ - background-color:@color4; - background-image: -webkit-linear-gradient(center bottom, @color1 @stop1, @color2 @stop2, @color3 @stop3, @color4 @stop4); - background-image: -webkit-gradient( - linear, - left bottom, - left top, - color-stop(@stop1, @color1), - color-stop(@stop2, @color2), - color-stop(@stop3, @color3), - color-stop(@stop4, @color4) - ); - background-image:-moz-linear-gradient(center bottom, @color1 @stop1, @color2 @stop2, @color3 @stop3, @color4 @stop4); - background-image:-ms-linear-gradient(center bottom, @color1 @stop1, @color2 @stop2, @color3 @stop3, @color4 @stop4); - background-image:-o-linear-gradient(center bottom, @color1 @stop1, @color2 @stop2, @color3 @stop3, @color4 @stop4); - background-image:linear-gradient(center bottom, @color1 @stop1, @color2 @stop2, @color3 @stop3, @color4 @stop4); - -} - -.tooltip a { - float:right; -} - -/*properties of tooltip after "expand"*/ -.bigtooltip { - overflow: auto; - height: 200px; - .smoothheight(); -} - -/*properties of tooltip before "expand"*/ -.smalltooltip{ - .smoothheight(); - text-overflow: ellipsis; - overflow: hidden; - height:80px; -} -.tooltipbuttons -{ - position: absolute; - padding-right : 15px; - top : 0px; - right:0px; -} -.tooltiptext -{ - /*avoid the button to overlap on some docstring*/ - padding-right:30px -} - -.tooltip { - max-width:700px; - border-radius: 10px 10px 10px 10px; - box-shadow: 3px 3px 5px #999; - /*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; - vertical-align: middle; - - .linearGradient(13%,@c1, 39%, @c2 , 56%,@c3, 91% , @c4) ; - overflow : visible; - color: @textColor; - border: @bordercolor @borderwidth solid; - outline: none; - padding: 3px; - margin: 0px; - padding-left:7px; - font-family: monospace; - min-height:50px; - position: absolute; -} - - -.pretooltiparrow { - left: 0px; - margin: 0px; - top: -16px; - width: 40px; - height: 16px; - overflow: hidden; - position: absolute; - -} -.pretooltiparrow:before { - background-color : @c4; - border : @borderwidth @bordercolor solid; - z-index:11; - content: ""; - position: absolute; - left: 15px; - top: 10px; - width: 25px; - height: 25px; - @theta : 45deg; - -webkit-transform: rotate(@theta); - -moz-transform: rotate(@theta); - -ms-transform: rotate(@theta); - -o-transform: rotate(@theta); - -} - -.tooltip.hide -{ - -webkit-animation: fadeOut 800ms; - -moz-animation: fadeOut 800ms; - animation: fadeOut 800ms; - opacity : 0; -}