clear: both;
}
+/* Prevent editing textarea from jumping when toolbar is loaded */
+#toolbar {
+ height: 22px;
+}
+
/* Edit font preference */
/* TODO: for 'default' on non-textareas we could compute the default font of textarea in the client */
.mw-editfont-default:not( textarea ) {
.unpatrolled {
font-weight: bold;
- color: #f00;
+ color: #d33;
}
div.patrollink {
}
.error {
- color: #c00;
+ color: #d33;
}
.warning {
}
.errorbox {
- color: #c00;
+ color: #d33;
border-color: #fac5c5;
background-color: #fae3e3;
}
/* Note on preview page */
.previewnote {
- color: #c00;
+ color: #d33;
margin-bottom: 1em;
}
}
ol:lang( hi ) li,
+ol:lang( mai ) li,
ol:lang( mr ) li,
ol:lang( ne ) li {
list-style-type: -moz-devanagari;