6 .os-not-supported-info, .startup-failure-info {
10 body.os-not-supported #extensions-selection,
11 body.startup-failure #extensions-selection {
15 body.os-not-supported .os-not-supported-info {
18 body.startup-failure .startup-failure-info {
23 display: none !important;
29 /* color of separator line below heading */
30 background-color: #d3d3d3;
31 /* undo body side margins*/
32 margin: 0 -17px 0px -17px;
36 display: inline-block;
37 /* TODO draw a nice tab-like thingie */
39 border-top-left-radius: 4px;
40 border-top-right-radius: 4px;
41 border: 1px solid #999;
46 text-decoration: none;
47 color: #333; /* can we just reset it to default text color?*/
51 .tabbar > li > a.active {
53 background-color: #fff;
64 #extensions-selection {
67 #extensions-selection > li {
71 #extensions-selection > li.dependent {
74 #extensions-selection p {
78 /* checkbox default width is 13px, try to align the description somewhat*/