##// END OF EJS Templates
Fab CSS
Jonathan Frederic -
Show More
@@ -301,7 +301,7 b' div.traceback-wrapper {'
301 }
301 }
302 .ansipurple {
302 .ansipurple {
303 color: darkviolet;
303 color: darkviolet;
304 }s
304 }
305 .ansicyan {
305 .ansicyan {
306 color: steelblue;
306 color: steelblue;
307 }
307 }
@@ -1522,6 +1522,9 b' div.cell.text_cell.rendered {'
1522 /* ComboBox Main Button */
1522 /* ComboBox Main Button */
1523 min-width: 125px;
1523 min-width: 125px;
1524 }
1524 }
1525 .widget_item .dropdown-menu li a {
1526 color: inherit;
1527 }
1525 .widget-box {
1528 .widget-box {
1526 /* The following section sets the style for the invisible div that
1529 /* The following section sets the style for the invisible div that
1527 hold widgets and their accompanying labels.
1530 hold widgets and their accompanying labels.
@@ -1660,7 +1663,6 b' div.cell.text_cell.rendered {'
1660 box-flex: 0;
1663 box-flex: 0;
1661 /* Modern browsers */
1664 /* Modern browsers */
1662 flex: none;
1665 flex: none;
1663 height: 30px;
1664 }
1666 }
1665 .widget-hbox-single input[type="checkbox"] {
1667 .widget-hbox-single input[type="checkbox"] {
1666 margin-top: 9px;
1668 margin-top: 9px;
@@ -1719,62 +1721,6 b' div.cell.text_cell.rendered {'
1719 /* Modern browsers */
1721 /* Modern browsers */
1720 flex: none;
1722 flex: none;
1721 }
1723 }
1722 .widget-vbox-single {
1723 /* For vertical slides */
1724 /* Vertical widgets */
1725 /* The following section sets the style for the invisible div that
1726 hold widgets and their accompanying labels.
1727
1728 Looks like this:
1729 +-----------------------------+
1730 | widget-box (or similar) |
1731 | +-------+---------------+ |
1732 | | Label | Actual Widget | |
1733 | +-------+---------------+ |
1734 +-----------------------------+
1735 */
1736 margin: 5px;
1737 /* Old browsers */
1738 -webkit-box-pack: start;
1739 -moz-box-pack: start;
1740 box-pack: start;
1741 /* Modern browsers */
1742 justify-content: flex-start;
1743 /* Box */
1744 /* Old browsers */
1745 /* Modern browsers */
1746 /* Box */
1747 box-sizing: border-box;
1748 -moz-box-sizing: border-box;
1749 -webkit-box-sizing: border-box;
1750 /* Old browsers */
1751 -webkit-box-align: start;
1752 -moz-box-align: start;
1753 box-align: start;
1754 /* Modern browsers */
1755 align-items: flex-start;
1756 /* Old browsers */
1757 display: -webkit-box;
1758 -webkit-box-orient: vertical;
1759 -webkit-box-align: stretch;
1760 display: -moz-box;
1761 -moz-box-orient: vertical;
1762 -moz-box-align: stretch;
1763 display: box;
1764 box-orient: vertical;
1765 box-align: stretch;
1766 /* Modern browsers */
1767 display: flex;
1768 flex-direction: column;
1769 align-items: stretch;
1770 /* Old browsers */
1771 -webkit-box-flex: 0;
1772 -moz-box-flex: 0;
1773 box-flex: 0;
1774 /* Modern browsers */
1775 flex: none;
1776 width: 30px;
1777 }
1778 .widget-modal {
1724 .widget-modal {
1779 /* Box - ModalView */
1725 /* Box - ModalView */
1780 overflow: hidden;
1726 overflow: hidden;
@@ -9294,6 +9294,9 b' div.cell.text_cell.rendered {'
9294 /* ComboBox Main Button */
9294 /* ComboBox Main Button */
9295 min-width: 125px;
9295 min-width: 125px;
9296 }
9296 }
9297 .widget_item .dropdown-menu li a {
9298 color: inherit;
9299 }
9297 .widget-box {
9300 .widget-box {
9298 /* The following section sets the style for the invisible div that
9301 /* The following section sets the style for the invisible div that
9299 hold widgets and their accompanying labels.
9302 hold widgets and their accompanying labels.
@@ -9432,7 +9435,6 b' div.cell.text_cell.rendered {'
9432 box-flex: 0;
9435 box-flex: 0;
9433 /* Modern browsers */
9436 /* Modern browsers */
9434 flex: none;
9437 flex: none;
9435 height: 30px;
9436 }
9438 }
9437 .widget-hbox-single input[type="checkbox"] {
9439 .widget-hbox-single input[type="checkbox"] {
9438 margin-top: 9px;
9440 margin-top: 9px;
@@ -9491,62 +9493,6 b' div.cell.text_cell.rendered {'
9491 /* Modern browsers */
9493 /* Modern browsers */
9492 flex: none;
9494 flex: none;
9493 }
9495 }
9494 .widget-vbox-single {
9495 /* For vertical slides */
9496 /* Vertical widgets */
9497 /* The following section sets the style for the invisible div that
9498 hold widgets and their accompanying labels.
9499
9500 Looks like this:
9501 +-----------------------------+
9502 | widget-box (or similar) |
9503 | +-------+---------------+ |
9504 | | Label | Actual Widget | |
9505 | +-------+---------------+ |
9506 +-----------------------------+
9507 */
9508 margin: 5px;
9509 /* Old browsers */
9510 -webkit-box-pack: start;
9511 -moz-box-pack: start;
9512 box-pack: start;
9513 /* Modern browsers */
9514 justify-content: flex-start;
9515 /* Box */
9516 /* Old browsers */
9517 /* Modern browsers */
9518 /* Box */
9519 box-sizing: border-box;
9520 -moz-box-sizing: border-box;
9521 -webkit-box-sizing: border-box;
9522 /* Old browsers */
9523 -webkit-box-align: start;
9524 -moz-box-align: start;
9525 box-align: start;
9526 /* Modern browsers */
9527 align-items: flex-start;
9528 /* Old browsers */
9529 display: -webkit-box;
9530 -webkit-box-orient: vertical;
9531 -webkit-box-align: stretch;
9532 display: -moz-box;
9533 -moz-box-orient: vertical;
9534 -moz-box-align: stretch;
9535 display: box;
9536 box-orient: vertical;
9537 box-align: stretch;
9538 /* Modern browsers */
9539 display: flex;
9540 flex-direction: column;
9541 align-items: stretch;
9542 /* Old browsers */
9543 -webkit-box-flex: 0;
9544 -moz-box-flex: 0;
9545 box-flex: 0;
9546 /* Modern browsers */
9547 flex: none;
9548 width: 30px;
9549 }
9550 .widget-modal {
9496 .widget-modal {
9551 /* Box - ModalView */
9497 /* Box - ModalView */
9552 overflow: hidden;
9498 overflow: hidden;
General Comments 0
You need to be logged in to leave comments. Login now