Merge "RCFilters: Convert saved queries from filters to parameters"
[lhc/web/wiklou.git] / resources / src / mediawiki.legacy / shared.css
index 1efcdd0..74233d6 100644 (file)
@@ -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;
 }
@@ -140,7 +139,7 @@ span.comment {
 li span.deleted,
 span.history-deleted {
        text-decoration: line-through;
-       color: #888;
+       color: #72777d;
        font-style: italic;
 }
 
@@ -153,7 +152,7 @@ span.history-deleted {
 
 .unpatrolled {
        font-weight: bold;
-       color: #f00;
+       color: #d33;
 }
 
 div.patrollink {
@@ -273,7 +272,7 @@ p.mw-delete-editreasons {
 
 /* The auto-generated edit comments */
 .autocomment {
-       color: #808080;
+       color: #72777d;
 }
 
 /** Generic minor/bot/newpage styling (recent changes) */
@@ -356,11 +355,11 @@ a.mw-selflink:visited {
  * keep in sync with commonPrint.css
  */
 table.wikitable {
-       margin: 1em 0;
        background-color: #f8f9fa;
+       color: #222;
+       margin: 1em 0;
        border: 1px solid #a2a9b1;
        border-collapse: collapse;
-       color: #000;
 }
 
 table.wikitable > tr > th,
@@ -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;
 }