+/* Repeated messages */
+.webconsole-msg-repeat {
+ margin: 2px 0;
+ padding-left: 4px;
+ padding-right: 4px;
+ width: 1em;
+ color: #FFFFFF;
+ 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;
+}
+