Move editoptions styling to mediawiki.skinning/interface.css

[lhc/web/wiklou.git] / resources / src / mediawiki.action / mediawiki.action.edit.styles.css

diff --git a/resources/src/mediawiki.action/mediawiki.action.edit.styles.css b/resources/src/mediawiki.action/mediawiki.action.edit.styles.css
old mode 100644 (file)
new mode 100755 (executable)
index 7148b96..4209aa1
--- a/resources/src/mediawiki.action/mediawiki.action.edit.styles.css
+++ b/resources/src/mediawiki.action/mediawiki.action.edit.styles.css
@@ -8,14 +8,6 @@
        display: block;
 }
 
-.editOptions {
-       background-color: #F0F0F0;
-       border: 1px solid silver;
-       border-top: none;
-       padding: 1em 1em 1.5em 1em;
-       margin-bottom: 2em;
-}
-
 /* Adjustments to edit form elements */
 .editCheckboxes {
        margin-bottom: 1em;