clear: both;
}
+/* 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 ) {
+ font-family: monospace;
+}
+
+/* Keep this rule separate from the :not rule above so it still works in older browsers */
+.mw-editfont-monospace {
+ font-family: monospace;
+}
+
+.mw-editfont-sans-serif {
+ font-family: sans-serif;
+}
+
+.mw-editfont-serif {
+ font-family: serif;
+}
+
/**
* rev_deleted stuff
*/
*/
table.wikitable {
margin: 1em 0;
- background-color: #f9f9f9;
- border: 1px solid #aaa;
+ background-color: #f8f9fa;
+ border: 1px solid #a2a9b1;
border-collapse: collapse;
color: #000;
}
table.wikitable > tr > th,
table.wikitable > * > tr > th {
- background-color: #f2f2f2;
+ background-color: #eaecf0;
text-align: center;
}