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;
}