##// END OF EJS Templates
shrink less and css, typo in css
Matthias BUSSONNIER -
Show More
@@ -257,11 +257,11 b' div.text_cell_render {'
257 .ansigrey {color: grey;}
257 .ansigrey {color: grey;}
258 .ansibold {font-weight: bold;}
258 .ansibold {font-weight: bold;}
259
259
260 .completions , .tooltip {
260 .completions {
261 position: absolute;
261 position: absolute;
262 z-index: 10;
262 z-index: 10;
263 overflow: auto;
263 overflow: auto;
264 border: 1px solid black;
264 border: 1px solid grey;
265 }
265 }
266
266
267 .completions select {
267 .completions select {
@@ -3,24 +3,15 b''
3 *
3 *
4 * Author: IPython Development Team
4 * Author: IPython Development Team
5 */
5 */
6 /**
6 /** WARNING IF YOU ARE EDITTING THIS FILE, if this is a .css file, It has a lot
7 * WARNING IF YOU ARE EDITTING THIS FILE,
7 * of chance of beeing generated from the ../less/[samename].less file, you can
8 * if this is a .css file, It has a lot of chance of beeing generated from the
8 * try to get back the less file by reverting somme commit in history
9 * ../css/[samename].less file, it might not stay a less file forever,
9 **/
10 * but as until now it is convenient to developp using less
11 *
12 * it it's a less file, don't forget to recompile it
13 */
14 /*
10 /*
15 * We'll try to get something prety, so we
11 * We'll try to get something pretty, so we
16 * have some strange ccs to have the scroll bar on
12 * have some strange ccs to have the scroll bar on
17 * the left of the left with fix button on the top right of the tooltip
13 * the left of the left with fix button on the top right of the tooltip
18 */
14 */
19 .dropshadow {
20 -moz-box-shadow: 0px 6px 10px -1px #adadad;
21 -webkit-box-shadow: 0px 6px 10px -1px #adadad;
22 box-shadow: 0px 6px 10px -1px #adadad;
23 }
24 @-moz-keyframes fadeOut {
15 @-moz-keyframes fadeOut {
25 from {
16 from {
26 opacity: 1;
17 opacity: 1;
@@ -107,7 +98,6 b''
107 vertical-align: middle;
98 vertical-align: middle;
108 background-color: #f7f7f7;
99 background-color: #f7f7f7;
109 overflow: visible;
100 overflow: visible;
110 color: #000000;
111 border: #bbbbbb 1px solid;
101 border: #bbbbbb 1px solid;
112 outline: none;
102 outline: none;
113 padding: 3px;
103 padding: 3px;
@@ -4,17 +4,14 b''
4 * Author: IPython Development Team
4 * Author: IPython Development Team
5 */
5 */
6
6
7 /**
7 /** WARNING IF YOU ARE EDITTING THIS FILE, if this is a .css file, It has a lot
8 * WARNING IF YOU ARE EDITTING THIS FILE,
8 * of chance of beeing generated from the ../less/[samename].less file, you can
9 * if this is a .css file, It has a lot of chance of beeing generated from the
9 * try to get back the less file by reverting somme commit in history
10 * ../css/[samename].less file, it might not stay a less file forever,
10 **/
11 * but as until now it is convenient to developp using less
11
12 *
13 * it it's a less file, don't forget to recompile it
14 */
15 /*
12 /*
16 * We'll try to get something prety, so we
13 * We'll try to get something pretty, so we
17 * have some strange ccs to have the scroll bar on
14 * have some strange css to have the scroll bar on
18 * the left of the left with fix button on the top right of the tooltip
15 * the left of the left with fix button on the top right of the tooltip
19 */
16 */
20
17
@@ -24,15 +21,11 b''
24 // **/
21 // **/
25
22
26 // Four color of the background
23 // Four color of the background
27 @c1 : rgb(215,215,215);
28 @c2 : rgb(210,210,210);
29 @c3 : rgb(227,227,227);
30 @c4 : rgb(247,247,247);
24 @c4 : rgb(247,247,247);
31 @bordercolor : #BBB;
25 @bordercolor : #BBB;
32 @borderwidth : 1px;
26 @borderwidth : 1px;
33 @textColor : #000;
34
27
35 .dropshadow{
28 .dropshadow(){
36 -moz-box-shadow: 0px 6px 10px -1px #adadad;
29 -moz-box-shadow: 0px 6px 10px -1px #adadad;
37 -webkit-box-shadow: 0px 6px 10px -1px #adadad;
30 -webkit-box-shadow: 0px 6px 10px -1px #adadad;
38 box-shadow: 0px 6px 10px -1px #adadad;
31 box-shadow: 0px 6px 10px -1px #adadad;
@@ -96,6 +89,7 b''
96 overflow: hidden;
89 overflow: hidden;
97 height:80px;
90 height:80px;
98 }
91 }
92
99 .tooltipbuttons
93 .tooltipbuttons
100 {
94 {
101 position: absolute;
95 position: absolute;
@@ -103,6 +97,7 b''
103 top : 0px;
97 top : 0px;
104 right:0px;
98 right:0px;
105 }
99 }
100
106 .tooltiptext
101 .tooltiptext
107 {
102 {
108 /*avoid the button to overlap on some docstring*/
103 /*avoid the button to overlap on some docstring*/
@@ -124,7 +119,6 b''
124 background-color: @c4;
119 background-color: @c4;
125
120
126 overflow : visible;
121 overflow : visible;
127 color: @textColor;
128 border: @bordercolor @borderwidth solid;
122 border: @bordercolor @borderwidth solid;
129 outline: none;
123 outline: none;
130 padding: 3px;
124 padding: 3px;
@@ -146,6 +140,7 b''
146 position: absolute;
140 position: absolute;
147
141
148 }
142 }
143
149 .pretooltiparrow:before {
144 .pretooltiparrow:before {
150 background-color : @c4;
145 background-color : @c4;
151 border : @borderwidth @bordercolor solid;
146 border : @borderwidth @bordercolor solid;
@@ -161,7 +156,6 b''
161 -moz-transform: rotate(@theta);
156 -moz-transform: rotate(@theta);
162 -ms-transform: rotate(@theta);
157 -ms-transform: rotate(@theta);
163 -o-transform: rotate(@theta);
158 -o-transform: rotate(@theta);
164
165 }
159 }
166
160
167 .tooltip.hide
161 .tooltip.hide
General Comments 0
You need to be logged in to leave comments. Login now