Remove 'Browser default' editfont option

[lhc/web/wiklou.git] / resources / src / mediawiki.legacy / shared.css

diff --git a/resources/src/mediawiki.legacy/shared.css b/resources/src/mediawiki.legacy/shared.css
index 8839a2c..26897b8 100644 (file)
--- a/resources/src/mediawiki.legacy/shared.css
+++ b/resources/src/mediawiki.legacy/shared.css
@@ -105,13 +105,12 @@ span.comment {
        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;
+/* Prevent editing textarea from jumping when toolbar is loaded */
+#toolbar {
+       height: 22px;
 }
 
-/* Keep this rule separate from the :not rule above so it still works in older browsers */
+/* Edit font preference */
 .mw-editfont-monospace {
        font-family: monospace;
 }
@@ -153,7 +152,7 @@ span.history-deleted {
 
 .unpatrolled {
        font-weight: bold;
-       color: #f00;
+       color: #d33;
 }
 
 div.patrollink {
@@ -389,7 +388,7 @@ table.wikitable > caption {
 }
 
 .error {
-       color: #c00;
+       color: #d33;
 }
 
 .warning {
@@ -423,7 +422,7 @@ table.wikitable > caption {
 }
 
 .errorbox {
-       color: #c00;
+       color: #d33;
        border-color: #fac5c5;
        background-color: #fae3e3;
 }
@@ -460,7 +459,7 @@ table.wikitable > caption {
 
 /* Note on preview page */
 .previewnote {
-       color: #c00;
+       color: #d33;
        margin-bottom: 1em;
 }
 
@@ -636,6 +635,7 @@ ol:lang( sdh ) li {
 }
 
 ol:lang( hi ) li,
+ol:lang( mai ) li,
 ol:lang( mr ) li,
 ol:lang( ne ) li {
        list-style-type: -moz-devanagari;