comparison public/libervia.css @ 88:50b480fd0605

browser side: widgetsPanel is now scrollable when there are too many widgets, and widgets have a minimum size
author Goffi <goffi@goffi.org>
date Mon, 27 Jun 2011 16:46:31 +0200
parents 3029e3fdbd40
children 8d2c7be09eef
comparison
equal deleted inserted replaced
87:3029e3fdbd40 88:50b480fd0605
537 537
538 .widgetsPanel td { 538 .widgetsPanel td {
539 vertical-align: top; 539 vertical-align: top;
540 } 540 }
541 541
542 .widgetsPanel > table { 542 .widgetsPanel > div > table {
543 border-collapse: separate !important; 543 border-collapse: separate !important;
544 border-spacing: 7px; 544 border-spacing: 7px;
545 } 545 }
546 546
547 .widgetHeader { 547 .widgetHeader {
627 background-color: #fff; 627 background-color: #fff;
628 filter: progid:DXImageTransform.Microsoft.gradient(startColorstr=’#fff&#888;, endColorstr=’#ccc’); 628 filter: progid:DXImageTransform.Microsoft.gradient(startColorstr=’#fff&#888;, endColorstr=’#ccc’);
629 background: -webkit-gradient(linear, left top, left bottom, from(#fff), to(#ccc)); 629 background: -webkit-gradient(linear, left top, left bottom, from(#fff), to(#ccc));
630 background: -moz-linear-gradient(top, #fff, #ccc); 630 background: -moz-linear-gradient(top, #fff, #ccc);
631 background-image: -o-linear-gradient(#fff,#ccc); 631 background-image: -o-linear-gradient(#fff,#ccc);
632 min-height: 100px;
632 } 633 }
633 634
634 /* BorderWidgets */ 635 /* BorderWidgets */
635 636
636 .bottomBorderWidget { 637 .bottomBorderWidget {