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

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

fab css
Jonathan Frederic -
Show More
Show file before | Show file after | Hide comments
@@ -1277,32 +1277,6 div.cell.text_cell.rendered {
1277 }
1277 }
1278 /* THE CLASSES BELOW CAN APPEAR ANYWHERE IN THE DOM (POSSIBLEY OUTSIDE OF
1278 /* THE CLASSES BELOW CAN APPEAR ANYWHERE IN THE DOM (POSSIBLEY OUTSIDE OF
1279 THE WIDGET AREA). */
1279 THE WIDGET AREA). */
1280 .widget-hlabel {
1281 /* Horizontal Label */
1282 min-width: 10ex;
1283 padding-right: 8px;
1284 padding-top: 5px;
1285 text-align: right;
1286 vertical-align: text-top;
1287 }
1288 .widget-vlabel {
1289 /* Vertical Label */
1290 padding-bottom: 5px;
1291 text-align: center;
1292 vertical-align: text-bottom;
1293 }
1294 .widget-hreadout {
1295 padding-left: 8px;
1296 padding-top: 5px;
1297 text-align: left;
1298 vertical-align: text-top;
1299 }
1300 .widget-vreadout {
1301 /* Vertical Label */
1302 padding-top: 5px;
1303 text-align: center;
1304 vertical-align: text-top;
1305 }
1306 .slide-track {
1280 .slide-track {
1307 /* Slider Track */
1281 /* Slider Track */
1308 border: 1px solid #CCCCCC;
1282 border: 1px solid #CCCCCC;
@@ -1525,69 +1499,8 div.cell.text_cell.rendered {
1525 .widget_item .dropdown-menu li a {
1499 .widget_item .dropdown-menu li a {
1526 color: inherit;
1500 color: inherit;
1527 }
1501 }
1528 .widget-box {
1529 /* The following section sets the style for the invisible div that
1530 hold widgets and their accompanying labels.
1531
1532 Looks like this:
1533 +-----------------------------+
1534 | widget-box (or similar) |
1535 | +-------+---------------+ |
1536 | | Label | Actual Widget | |
1537 | +-------+---------------+ |
1538 +-----------------------------+
1539 */
1540 margin: 5px;
1541 /* Old browsers */
1542 -webkit-box-pack: start;
1543 -moz-box-pack: start;
1544 box-pack: start;
1545 /* Modern browsers */
1546 justify-content: flex-start;
1547 /* Box */
1548 box-sizing: border-box;
1549 -moz-box-sizing: border-box;
1550 -webkit-box-sizing: border-box;
1551 /* Old browsers */
1552 -webkit-box-align: start;
1553 -moz-box-align: start;
1554 box-align: start;
1555 /* Modern browsers */
1556 align-items: flex-start;
1557 }
1558 .widget-hbox {
1502 .widget-hbox {
1559 /* Horizontal widgets */
1503 /* Horizontal widgets */
1560 /* The following section sets the style for the invisible div that
1561 hold widgets and their accompanying labels.
1562
1563 Looks like this:
1564 +-----------------------------+
1565 | widget-box (or similar) |
1566 | +-------+---------------+ |
1567 | | Label | Actual Widget | |
1568 | +-------+---------------+ |
1569 +-----------------------------+
1570 */
1571 margin: 5px;
1572 /* Old browsers */
1573 -webkit-box-pack: start;
1574 -moz-box-pack: start;
1575 box-pack: start;
1576 /* Modern browsers */
1577 justify-content: flex-start;
1578 /* Box */
1579 /* Old browsers */
1580 /* Modern browsers */
1581 /* Box */
1582 box-sizing: border-box;
1583 -moz-box-sizing: border-box;
1584 -webkit-box-sizing: border-box;
1585 /* Old browsers */
1586 -webkit-box-align: start;
1587 -moz-box-align: start;
1588 box-align: start;
1589 /* Modern browsers */
1590 align-items: flex-start;
1591 /* Old browsers */
1504 /* Old browsers */
1592 display: -webkit-box;
1505 display: -webkit-box;
1593 -webkit-box-orient: horizontal;
1506 -webkit-box-orient: horizontal;
@@ -1609,97 +1522,25 div.cell.text_cell.rendered {
1609 /* Modern browsers */
1522 /* Modern browsers */
1610 flex: none;
1523 flex: none;
1611 }
1524 }
1612 .widget-hbox-single {
1525 .widget-hbox input[type="checkbox"] {
1613 /* Single line horizontal widgets */
1614 /* Horizontal widgets */
1615 /* The following section sets the style for the invisible div that
1616 hold widgets and their accompanying labels.
1617
1618 Looks like this:
1619 +-----------------------------+
1620 | widget-box (or similar) |
1621 | +-------+---------------+ |
1622 | | Label | Actual Widget | |
1623 | +-------+---------------+ |
1624 +-----------------------------+
1625 */
1626 margin: 5px;
1627 /* Old browsers */
1628 -webkit-box-pack: start;
1629 -moz-box-pack: start;
1630 box-pack: start;
1631 /* Modern browsers */
1632 justify-content: flex-start;
1633 /* Box */
1634 /* Old browsers */
1635 /* Modern browsers */
1636 /* Box */
1637 box-sizing: border-box;
1638 -moz-box-sizing: border-box;
1639 -webkit-box-sizing: border-box;
1640 /* Old browsers */
1641 -webkit-box-align: start;
1642 -moz-box-align: start;
1643 box-align: start;
1644 /* Modern browsers */
1645 align-items: flex-start;
1646 /* Old browsers */
1647 display: -webkit-box;
1648 -webkit-box-orient: horizontal;
1649 -webkit-box-align: stretch;
1650 display: -moz-box;
1651 -moz-box-orient: horizontal;
1652 -moz-box-align: stretch;
1653 display: box;
1654 box-orient: horizontal;
1655 box-align: stretch;
1656 /* Modern browsers */
1657 display: flex;
1658 flex-direction: row;
1659 align-items: stretch;
1660 /* Old browsers */
1661 -webkit-box-flex: 0;
1662 -moz-box-flex: 0;
1663 box-flex: 0;
1664 /* Modern browsers */
1665 flex: none;
1666 }
1667 .widget-hbox-single input[type="checkbox"] {
1668 margin-top: 9px;
1526 margin-top: 9px;
1669 }
1527 }
1528 .widget-hbox .widget-label {
1529 /* Horizontal Label */
1530 min-width: 10ex;
1531 padding-right: 8px;
1532 padding-top: 5px;
1533 text-align: right;
1534 vertical-align: text-top;
1535 }
1536 .widget-hbox .widget-readout {
1537 padding-left: 8px;
1538 padding-top: 5px;
1539 text-align: left;
1540 vertical-align: text-top;
1541 }
1670 .widget-vbox {
1542 .widget-vbox {
1671 /* Vertical widgets */
1543 /* Vertical widgets */
1672 /* The following section sets the style for the invisible div that
1673 hold widgets and their accompanying labels.
1674
1675 Looks like this:
1676 +-----------------------------+
1677 | widget-box (or similar) |
1678 | +-------+---------------+ |
1679 | | Label | Actual Widget | |
1680 | +-------+---------------+ |
1681 +-----------------------------+
1682 */
1683 margin: 5px;
1684 /* Old browsers */
1685 -webkit-box-pack: start;
1686 -moz-box-pack: start;
1687 box-pack: start;
1688 /* Modern browsers */
1689 justify-content: flex-start;
1690 /* Box */
1691 /* Old browsers */
1692 /* Modern browsers */
1693 /* Box */
1694 box-sizing: border-box;
1695 -moz-box-sizing: border-box;
1696 -webkit-box-sizing: border-box;
1697 /* Old browsers */
1698 -webkit-box-align: start;
1699 -moz-box-align: start;
1700 box-align: start;
1701 /* Modern browsers */
1702 align-items: flex-start;
1703 /* Old browsers */
1544 /* Old browsers */
1704 display: -webkit-box;
1545 display: -webkit-box;
1705 -webkit-box-orient: vertical;
1546 -webkit-box-orient: vertical;
@@ -1721,6 +1562,18 div.cell.text_cell.rendered {
1721 /* Modern browsers */
1562 /* Modern browsers */
1722 flex: none;
1563 flex: none;
1723 }
1564 }
1565 .widget-vbox .widget-label {
1566 /* Vertical Label */
1567 padding-bottom: 5px;
1568 text-align: center;
1569 vertical-align: text-bottom;
1570 }
1571 .widget-vbox .widget-readout {
1572 /* Vertical Label */
1573 padding-top: 5px;
1574 text-align: center;
1575 vertical-align: text-top;
1576 }
1724 .widget-modal {
1577 .widget-modal {
1725 /* Box - ModalView */
1578 /* Box - ModalView */
1726 overflow: hidden;
1579 overflow: hidden;
Show file before | Show file after | Hide comments
@@ -9049,32 +9049,6 div.cell.text_cell.rendered {
9049 }
9049 }
9050 /* THE CLASSES BELOW CAN APPEAR ANYWHERE IN THE DOM (POSSIBLEY OUTSIDE OF
9050 /* THE CLASSES BELOW CAN APPEAR ANYWHERE IN THE DOM (POSSIBLEY OUTSIDE OF
9051 THE WIDGET AREA). */
9051 THE WIDGET AREA). */
9052 .widget-hlabel {
9053 /* Horizontal Label */
9054 min-width: 10ex;
9055 padding-right: 8px;
9056 padding-top: 5px;
9057 text-align: right;
9058 vertical-align: text-top;
9059 }
9060 .widget-vlabel {
9061 /* Vertical Label */
9062 padding-bottom: 5px;
9063 text-align: center;
9064 vertical-align: text-bottom;
9065 }
9066 .widget-hreadout {
9067 padding-left: 8px;
9068 padding-top: 5px;
9069 text-align: left;
9070 vertical-align: text-top;
9071 }
9072 .widget-vreadout {
9073 /* Vertical Label */
9074 padding-top: 5px;
9075 text-align: center;
9076 vertical-align: text-top;
9077 }
9078 .slide-track {
9052 .slide-track {
9079 /* Slider Track */
9053 /* Slider Track */
9080 border: 1px solid #CCCCCC;
9054 border: 1px solid #CCCCCC;
@@ -9297,69 +9271,8 div.cell.text_cell.rendered {
9297 .widget_item .dropdown-menu li a {
9271 .widget_item .dropdown-menu li a {
9298 color: inherit;
9272 color: inherit;
9299 }
9273 }
9300 .widget-box {
9301 /* The following section sets the style for the invisible div that
9302 hold widgets and their accompanying labels.
9303
9304 Looks like this:
9305 +-----------------------------+
9306 | widget-box (or similar) |
9307 | +-------+---------------+ |
9308 | | Label | Actual Widget | |
9309 | +-------+---------------+ |
9310 +-----------------------------+
9311 */
9312 margin: 5px;
9313 /* Old browsers */
9314 -webkit-box-pack: start;
9315 -moz-box-pack: start;
9316 box-pack: start;
9317 /* Modern browsers */
9318 justify-content: flex-start;
9319 /* Box */
9320 box-sizing: border-box;
9321 -moz-box-sizing: border-box;
9322 -webkit-box-sizing: border-box;
9323 /* Old browsers */
9324 -webkit-box-align: start;
9325 -moz-box-align: start;
9326 box-align: start;
9327 /* Modern browsers */
9328 align-items: flex-start;
9329 }
9330 .widget-hbox {
9274 .widget-hbox {
9331 /* Horizontal widgets */
9275 /* Horizontal widgets */
9332 /* The following section sets the style for the invisible div that
9333 hold widgets and their accompanying labels.
9334
9335 Looks like this:
9336 +-----------------------------+
9337 | widget-box (or similar) |
9338 | +-------+---------------+ |
9339 | | Label | Actual Widget | |
9340 | +-------+---------------+ |
9341 +-----------------------------+
9342 */
9343 margin: 5px;
9344 /* Old browsers */
9345 -webkit-box-pack: start;
9346 -moz-box-pack: start;
9347 box-pack: start;
9348 /* Modern browsers */
9349 justify-content: flex-start;
9350 /* Box */
9351 /* Old browsers */
9352 /* Modern browsers */
9353 /* Box */
9354 box-sizing: border-box;
9355 -moz-box-sizing: border-box;
9356 -webkit-box-sizing: border-box;
9357 /* Old browsers */
9358 -webkit-box-align: start;
9359 -moz-box-align: start;
9360 box-align: start;
9361 /* Modern browsers */
9362 align-items: flex-start;
9363 /* Old browsers */
9276 /* Old browsers */
9364 display: -webkit-box;
9277 display: -webkit-box;
9365 -webkit-box-orient: horizontal;
9278 -webkit-box-orient: horizontal;
@@ -9381,97 +9294,25 div.cell.text_cell.rendered {
9381 /* Modern browsers */
9294 /* Modern browsers */
9382 flex: none;
9295 flex: none;
9383 }
9296 }
9384 .widget-hbox-single {
9297 .widget-hbox input[type="checkbox"] {
9385 /* Single line horizontal widgets */
9386 /* Horizontal widgets */
9387 /* The following section sets the style for the invisible div that
9388 hold widgets and their accompanying labels.
9389
9390 Looks like this:
9391 +-----------------------------+
9392 | widget-box (or similar) |
9393 | +-------+---------------+ |
9394 | | Label | Actual Widget | |
9395 | +-------+---------------+ |
9396 +-----------------------------+
9397 */
9398 margin: 5px;
9399 /* Old browsers */
9400 -webkit-box-pack: start;
9401 -moz-box-pack: start;
9402 box-pack: start;
9403 /* Modern browsers */
9404 justify-content: flex-start;
9405 /* Box */
9406 /* Old browsers */
9407 /* Modern browsers */
9408 /* Box */
9409 box-sizing: border-box;
9410 -moz-box-sizing: border-box;
9411 -webkit-box-sizing: border-box;
9412 /* Old browsers */
9413 -webkit-box-align: start;
9414 -moz-box-align: start;
9415 box-align: start;
9416 /* Modern browsers */
9417 align-items: flex-start;
9418 /* Old browsers */
9419 display: -webkit-box;
9420 -webkit-box-orient: horizontal;
9421 -webkit-box-align: stretch;
9422 display: -moz-box;
9423 -moz-box-orient: horizontal;
9424 -moz-box-align: stretch;
9425 display: box;
9426 box-orient: horizontal;
9427 box-align: stretch;
9428 /* Modern browsers */
9429 display: flex;
9430 flex-direction: row;
9431 align-items: stretch;
9432 /* Old browsers */
9433 -webkit-box-flex: 0;
9434 -moz-box-flex: 0;
9435 box-flex: 0;
9436 /* Modern browsers */
9437 flex: none;
9438 }
9439 .widget-hbox-single input[type="checkbox"] {
9440 margin-top: 9px;
9298 margin-top: 9px;
9441 }
9299 }
9300 .widget-hbox .widget-label {
9301 /* Horizontal Label */
9302 min-width: 10ex;
9303 padding-right: 8px;
9304 padding-top: 5px;
9305 text-align: right;
9306 vertical-align: text-top;
9307 }
9308 .widget-hbox .widget-readout {
9309 padding-left: 8px;
9310 padding-top: 5px;
9311 text-align: left;
9312 vertical-align: text-top;
9313 }
9442 .widget-vbox {
9314 .widget-vbox {
9443 /* Vertical widgets */
9315 /* Vertical widgets */
9444 /* The following section sets the style for the invisible div that
9445 hold widgets and their accompanying labels.
9446
9447 Looks like this:
9448 +-----------------------------+
9449 | widget-box (or similar) |
9450 | +-------+---------------+ |
9451 | | Label | Actual Widget | |
9452 | +-------+---------------+ |
9453 +-----------------------------+
9454 */
9455 margin: 5px;
9456 /* Old browsers */
9457 -webkit-box-pack: start;
9458 -moz-box-pack: start;
9459 box-pack: start;
9460 /* Modern browsers */
9461 justify-content: flex-start;
9462 /* Box */
9463 /* Old browsers */
9464 /* Modern browsers */
9465 /* Box */
9466 box-sizing: border-box;
9467 -moz-box-sizing: border-box;
9468 -webkit-box-sizing: border-box;
9469 /* Old browsers */
9470 -webkit-box-align: start;
9471 -moz-box-align: start;
9472 box-align: start;
9473 /* Modern browsers */
9474 align-items: flex-start;
9475 /* Old browsers */
9316 /* Old browsers */
9476 display: -webkit-box;
9317 display: -webkit-box;
9477 -webkit-box-orient: vertical;
9318 -webkit-box-orient: vertical;
@@ -9493,6 +9334,18 div.cell.text_cell.rendered {
9493 /* Modern browsers */
9334 /* Modern browsers */
9494 flex: none;
9335 flex: none;
9495 }
9336 }
9337 .widget-vbox .widget-label {
9338 /* Vertical Label */
9339 padding-bottom: 5px;
9340 text-align: center;
9341 vertical-align: text-bottom;
9342 }
9343 .widget-vbox .widget-readout {
9344 /* Vertical Label */
9345 padding-top: 5px;
9346 text-align: center;
9347 vertical-align: text-top;
9348 }
9496 .widget-modal {
9349 .widget-modal {
9497 /* Box - ModalView */
9350 /* Box - ModalView */
9498 overflow: hidden;
9351 overflow: hidden;
General Comments 0
You need to be logged in to leave comments. Login now