margin: 0 6px;
}
+/* Repeated messages */
+.webconsole-msg-repeat {
+ margin: 2px 0;
+ padding-left: 4px;
+ padding-right: 4px;
+ width: 1em;
+ color: #000000;
+ background-color: #FF0000;
+ border-radius: 40px;
+ /* font: message-box; */
+ font-size: 10px;
+ font-weight: 600;
+}
+
+/* TODO move this and other functional rules to content - bug 635359 */
+.webconsole-msg-repeat[value="1"] {
+ display: none;
+}
+
.webconsole-location {
margin-top: 0;
margin-bottom: 0;