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