##// END OF EJS Templates
upstream » ipython
RSS

Clone from https://github.com/ipython/ipython.git

invoke css
Jonathan Frederic -
Show More
Show file before | Show file after | Hide comments
@@ -1298,7 +1298,7 b' h6:hover .anchor-link {'
1298 /* Fix the padding of the slide track so the ui-slider is sized
1298 /* Fix the padding of the slide track so the ui-slider is sized
1299 correctly. */
1299 correctly. */
1300 padding-left: 8px;
1300 padding-left: 8px;
1301 padding-right: 5px;
1301 padding-right: 2px;
1302 overflow: visible;
1302 overflow: visible;
1303 /* Default size of the slider */
1303 /* Default size of the slider */
1304 width: 350px;
1304 width: 350px;
@@ -1330,8 +1330,8 b' h6:hover .anchor-link {'
1330 }
1330 }
1331 .widget-hslider .ui-slider {
1331 .widget-hslider .ui-slider {
1332 /* Inner, invisible slide div */
1332 /* Inner, invisible slide div */
1333 border: 0px !important;
1333 border: 0px;
1334 background: none !important;
1334 background: none;
1335 /* Old browsers */
1335 /* Old browsers */
1336 display: -webkit-box;
1336 display: -webkit-box;
1337 -webkit-box-orient: horizontal;
1337 -webkit-box-orient: horizontal;
@@ -1354,19 +1354,21 b' h6:hover .anchor-link {'
1354 flex: 1;
1354 flex: 1;
1355 }
1355 }
1356 .widget-hslider .ui-slider .ui-slider-handle {
1356 .widget-hslider .ui-slider .ui-slider-handle {
1357 width: 14px !important;
1357 width: 12px;
1358 height: 28px !important;
1358 height: 28px;
1359 margin-top: -8px !important;
1359 margin-top: -8px;
1360 border-radius: 2px;
1360 }
1361 }
1361 .widget-hslider .ui-slider .ui-slider-range {
1362 .widget-hslider .ui-slider .ui-slider-range {
1362 height: 12px !important;
1363 height: 12px;
1363 margin-top: -4px !important;
1364 margin-top: -4px;
1365 background: #eeeeee;
1364 }
1366 }
1365 .widget-vslider {
1367 .widget-vslider {
1366 /* Vertical jQuery Slider */
1368 /* Vertical jQuery Slider */
1367 /* Fix the padding of the slide track so the ui-slider is sized
1369 /* Fix the padding of the slide track so the ui-slider is sized
1368 correctly. */
1370 correctly. */
1369 padding-bottom: 8px;
1371 padding-bottom: 5px;
1370 overflow: visible;
1372 overflow: visible;
1371 /* Default size of the slider */
1373 /* Default size of the slider */
1372 width: 5px;
1374 width: 5px;
@@ -1397,8 +1399,8 b' h6:hover .anchor-link {'
1397 }
1399 }
1398 .widget-vslider .ui-slider {
1400 .widget-vslider .ui-slider {
1399 /* Inner, invisible slide div */
1401 /* Inner, invisible slide div */
1400 border: 0px !important;
1402 border: 0px;
1401 background: none !important;
1403 background: none;
1402 margin-left: -4px;
1404 margin-left: -4px;
1403 margin-top: 5px;
1405 margin-top: 5px;
1404 /* Old browsers */
1406 /* Old browsers */
@@ -1423,13 +1425,15 b' h6:hover .anchor-link {'
1423 flex: 1;
1425 flex: 1;
1424 }
1426 }
1425 .widget-vslider .ui-slider .ui-slider-handle {
1427 .widget-vslider .ui-slider .ui-slider-handle {
1426 width: 28px !important;
1428 width: 28px;
1427 height: 14px !important;
1429 height: 12px;
1428 margin-left: -9px;
1430 margin-left: -9px;
1431 border-radius: 2px;
1429 }
1432 }
1430 .widget-vslider .ui-slider .ui-slider-range {
1433 .widget-vslider .ui-slider .ui-slider-range {
1431 width: 12px !important;
1434 width: 12px;
1432 margin-left: -1px !important;
1435 margin-left: -1px;
1436 background: #eeeeee;
1433 }
1437 }
1434 .widget-text {
1438 .widget-text {
1435 /* String Textbox - used for TextBoxView and TextAreaView */
1439 /* String Textbox - used for TextBoxView and TextAreaView */
@@ -1449,7 +1453,7 b' h6:hover .anchor-link {'
1449 .widget-progress {
1453 .widget-progress {
1450 /* Progress Bar */
1454 /* Progress Bar */
1451 margin-top: 6px;
1455 margin-top: 6px;
1452 width: 350px;
1456 min-width: 350px;
1453 }
1457 }
1454 .widget-progress .progress-bar {
1458 .widget-progress .progress-bar {
1455 /* Disable progress bar animation */
1459 /* Disable progress bar animation */
Show file before | Show file after | Hide comments
@@ -9223,7 +9223,7 b' h6:hover .anchor-link {'
9223 /* Fix the padding of the slide track so the ui-slider is sized
9223 /* Fix the padding of the slide track so the ui-slider is sized
9224 correctly. */
9224 correctly. */
9225 padding-left: 8px;
9225 padding-left: 8px;
9226 padding-right: 5px;
9226 padding-right: 2px;
9227 overflow: visible;
9227 overflow: visible;
9228 /* Default size of the slider */
9228 /* Default size of the slider */
9229 width: 350px;
9229 width: 350px;
@@ -9255,8 +9255,8 b' h6:hover .anchor-link {'
9255 }
9255 }
9256 .widget-hslider .ui-slider {
9256 .widget-hslider .ui-slider {
9257 /* Inner, invisible slide div */
9257 /* Inner, invisible slide div */
9258 border: 0px !important;
9258 border: 0px;
9259 background: none !important;
9259 background: none;
9260 /* Old browsers */
9260 /* Old browsers */
9261 display: -webkit-box;
9261 display: -webkit-box;
9262 -webkit-box-orient: horizontal;
9262 -webkit-box-orient: horizontal;
@@ -9279,19 +9279,21 b' h6:hover .anchor-link {'
9279 flex: 1;
9279 flex: 1;
9280 }
9280 }
9281 .widget-hslider .ui-slider .ui-slider-handle {
9281 .widget-hslider .ui-slider .ui-slider-handle {
9282 width: 14px !important;
9282 width: 12px;
9283 height: 28px !important;
9283 height: 28px;
9284 margin-top: -8px !important;
9284 margin-top: -8px;
9285 border-radius: 2px;
9285 }
9286 }
9286 .widget-hslider .ui-slider .ui-slider-range {
9287 .widget-hslider .ui-slider .ui-slider-range {
9287 height: 12px !important;
9288 height: 12px;
9288 margin-top: -4px !important;
9289 margin-top: -4px;
9290 background: #eeeeee;
9289 }
9291 }
9290 .widget-vslider {
9292 .widget-vslider {
9291 /* Vertical jQuery Slider */
9293 /* Vertical jQuery Slider */
9292 /* Fix the padding of the slide track so the ui-slider is sized
9294 /* Fix the padding of the slide track so the ui-slider is sized
9293 correctly. */
9295 correctly. */
9294 padding-bottom: 8px;
9296 padding-bottom: 5px;
9295 overflow: visible;
9297 overflow: visible;
9296 /* Default size of the slider */
9298 /* Default size of the slider */
9297 width: 5px;
9299 width: 5px;
@@ -9322,8 +9324,8 b' h6:hover .anchor-link {'
9322 }
9324 }
9323 .widget-vslider .ui-slider {
9325 .widget-vslider .ui-slider {
9324 /* Inner, invisible slide div */
9326 /* Inner, invisible slide div */
9325 border: 0px !important;
9327 border: 0px;
9326 background: none !important;
9328 background: none;
9327 margin-left: -4px;
9329 margin-left: -4px;
9328 margin-top: 5px;
9330 margin-top: 5px;
9329 /* Old browsers */
9331 /* Old browsers */
@@ -9348,13 +9350,15 b' h6:hover .anchor-link {'
9348 flex: 1;
9350 flex: 1;
9349 }
9351 }
9350 .widget-vslider .ui-slider .ui-slider-handle {
9352 .widget-vslider .ui-slider .ui-slider-handle {
9351 width: 28px !important;
9353 width: 28px;
9352 height: 14px !important;
9354 height: 12px;
9353 margin-left: -9px;
9355 margin-left: -9px;
9356 border-radius: 2px;
9354 }
9357 }
9355 .widget-vslider .ui-slider .ui-slider-range {
9358 .widget-vslider .ui-slider .ui-slider-range {
9356 width: 12px !important;
9359 width: 12px;
9357 margin-left: -1px !important;
9360 margin-left: -1px;
9361 background: #eeeeee;
9358 }
9362 }
9359 .widget-text {
9363 .widget-text {
9360 /* String Textbox - used for TextBoxView and TextAreaView */
9364 /* String Textbox - used for TextBoxView and TextAreaView */
@@ -9374,7 +9378,7 b' h6:hover .anchor-link {'
9374 .widget-progress {
9378 .widget-progress {
9375 /* Progress Bar */
9379 /* Progress Bar */
9376 margin-top: 6px;
9380 margin-top: 6px;
9377 width: 350px;
9381 min-width: 350px;
9378 }
9382 }
9379 .widget-progress .progress-bar {
9383 .widget-progress .progress-bar {
9380 /* Disable progress bar animation */
9384 /* Disable progress bar animation */
General Comments 0
You need to be logged in to leave comments. Login now