equal
deleted
inserted
replaced
1054 border-style: dashed; |
1054 border-style: dashed; |
1055 border-color: black; |
1055 border-color: black; |
1056 background-color: #ddd; |
1056 background-color: #ddd; |
1057 padding: 3px; |
1057 padding: 3px; |
1058 } |
1058 } |
|
1059 |
|
1060 /* Totally cheating jQuery UI here. */ |
|
1061 div.ui-corner-left { |
|
1062 -moz-border-radius: 4px 0 0 4px; |
|
1063 -webkit-border-radius: 4px 0 0 4px; |
|
1064 border-radius: 4px 0 0 4px; |
|
1065 } |
|
1066 div.ui-corner-right { |
|
1067 -moz-border-radius: 0 4px 4px 0; |
|
1068 -webkit-border-radius: 0 4px 4px 0; |
|
1069 border-radius: 0 4px 4px 0; |
|
1070 } |
|
1071 div.ui-corner-all, div.ui-corner-left.ui-corner-right { |
|
1072 -moz-border-radius: 4px; |
|
1073 -webkit-border-radius: 4px; |
|
1074 border-radius: 4px; |
|
1075 } |
|
1076 div.ui-progressbar { |
|
1077 height: 2em; |
|
1078 background-color: #d0d0d0; |
|
1079 } |
|
1080 |
|
1081 div.ui-progressbar-value { |
|
1082 height: 100%; |
|
1083 background-color: #909090; |
|
1084 } |
|
1085 |
|
1086 div.ui-progressbar-failure div.ui-progressbar-value { |
|
1087 background-color: #E02600; |
|
1088 } |