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 ) {
li span.deleted,
span.history-deleted {
text-decoration: line-through;
- color: #888;
+ color: #72777d;
font-style: italic;
}
.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;
}