shrink less and css, typo in css

This commit is contained in:
Matthias BUSSONNIER 2012-05-09 21:04:02 +02:00 committed by Brian Granger
parent d823325be4
commit 8d5d2d2446
3 changed files with 18 additions and 34 deletions

View File

@ -257,11 +257,11 @@ div.text_cell_render {
.ansigrey {color: grey;} .ansigrey {color: grey;}
.ansibold {font-weight: bold;} .ansibold {font-weight: bold;}
.completions , .tooltip { .completions {
position: absolute; position: absolute;
z-index: 10; z-index: 10;
overflow: auto; overflow: auto;
border: 1px solid black; border: 1px solid grey;
} }
.completions select { .completions select {

View File

@ -3,24 +3,15 @@
* *
* Author: IPython Development Team * Author: IPython Development Team
*/ */
/** /** WARNING IF YOU ARE EDITTING THIS FILE, if this is a .css file, It has a lot
* WARNING IF YOU ARE EDITTING THIS FILE, * of chance of beeing generated from the ../less/[samename].less file, you can
* if this is a .css file, It has a lot of chance of beeing generated from the * try to get back the less file by reverting somme commit in history
* ../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 * We'll try to get something pretty, so we
* have some strange ccs to have the scroll bar on * 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 * the left of the left with fix button on the top right of the tooltip
*/ */
.dropshadow {
-moz-box-shadow: 0px 6px 10px -1px #adadad;
-webkit-box-shadow: 0px 6px 10px -1px #adadad;
box-shadow: 0px 6px 10px -1px #adadad;
}
@-moz-keyframes fadeOut { @-moz-keyframes fadeOut {
from { from {
opacity: 1; opacity: 1;
@ -107,7 +98,6 @@
vertical-align: middle; vertical-align: middle;
background-color: #f7f7f7; background-color: #f7f7f7;
overflow: visible; overflow: visible;
color: #000000;
border: #bbbbbb 1px solid; border: #bbbbbb 1px solid;
outline: none; outline: none;
padding: 3px; padding: 3px;

View File

@ -4,17 +4,14 @@
* Author: IPython Development Team * Author: IPython Development Team
*/ */
/** /** WARNING IF YOU ARE EDITTING THIS FILE, if this is a .css file, It has a lot
* WARNING IF YOU ARE EDITTING THIS FILE, * of chance of beeing generated from the ../less/[samename].less file, you can
* if this is a .css file, It has a lot of chance of beeing generated from the * try to get back the less file by reverting somme commit in history
* ../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 * We'll try to get something pretty, so we
* have some strange ccs to have the scroll bar on * have some strange css to have the scroll bar on
* the left of the left with fix button on the top right of the tooltip * the left of the left with fix button on the top right of the tooltip
*/ */
@ -24,15 +21,11 @@
// **/ // **/
// Four color of the background // 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); @c4 : rgb(247,247,247);
@bordercolor : #BBB; @bordercolor : #BBB;
@borderwidth : 1px; @borderwidth : 1px;
@textColor : #000;
.dropshadow{ .dropshadow(){
-moz-box-shadow: 0px 6px 10px -1px #adadad; -moz-box-shadow: 0px 6px 10px -1px #adadad;
-webkit-box-shadow: 0px 6px 10px -1px #adadad; -webkit-box-shadow: 0px 6px 10px -1px #adadad;
box-shadow: 0px 6px 10px -1px #adadad; box-shadow: 0px 6px 10px -1px #adadad;
@ -96,6 +89,7 @@
overflow: hidden; overflow: hidden;
height:80px; height:80px;
} }
.tooltipbuttons .tooltipbuttons
{ {
position: absolute; position: absolute;
@ -103,6 +97,7 @@
top : 0px; top : 0px;
right:0px; right:0px;
} }
.tooltiptext .tooltiptext
{ {
/*avoid the button to overlap on some docstring*/ /*avoid the button to overlap on some docstring*/
@ -124,7 +119,6 @@
background-color: @c4; background-color: @c4;
overflow : visible; overflow : visible;
color: @textColor;
border: @bordercolor @borderwidth solid; border: @bordercolor @borderwidth solid;
outline: none; outline: none;
padding: 3px; padding: 3px;
@ -146,6 +140,7 @@
position: absolute; position: absolute;
} }
.pretooltiparrow:before { .pretooltiparrow:before {
background-color : @c4; background-color : @c4;
border : @borderwidth @bordercolor solid; border : @borderwidth @bordercolor solid;
@ -161,7 +156,6 @@
-moz-transform: rotate(@theta); -moz-transform: rotate(@theta);
-ms-transform: rotate(@theta); -ms-transform: rotate(@theta);
-o-transform: rotate(@theta); -o-transform: rotate(@theta);
} }
.tooltip.hide .tooltip.hide