resources/src/mediawiki.action/mediawiki.action.edit.styles.css

   1 /*!
   2  * Styles for elements of the editing form.
   3  */
   4
   5 /* General layout */
   6 #wpTextbox1 {
   7         margin: 0;
   8         display: block;
   9 }
  10
  11 /* Adjustments to edit form elements */
  12 .editCheckboxes {
  13         margin-bottom: 1em;
  14 }
  15
  16 .editCheckboxes input:first-child {
  17         margin-left: 0;
  18 }
  19
  20 .cancelLink {
  21         margin-left: 0.5em;
  22 }
  23
  24 #editpage-copywarn {
  25         font-size: 0.9em;
  26 }
  27
  28 input#wpSummary {
  29         display: block;
  30         background-color: #fff;
  31         color: #000;
  32         width: 80%;
  33         margin-top: 0;
  34         margin-bottom: 1em;
  35         padding: 0.625em 0.546875em 0.546875em;
  36         border: 1px solid #a2a9b1;
  37         border-radius: 2px;
  38         box-shadow: inset 0 0 0 1px #fff;
  39         font-family: inherit;
  40         font-size: inherit;
  41         -webkit-transition: border-color 200ms cubic-bezier( 0.39, 0.575, 0.565, 1 ), box-shadow 200ms cubic-bezier( 0.39, 0.575, 0.565, 1 );
  42         -moz-transition: border-color 200ms cubic-bezier( 0.39, 0.575, 0.565, 1 ), box-shadow 200ms cubic-bezier( 0.39, 0.575, 0.565, 1 );
  43         transition: border-color 200ms cubic-bezier( 0.39, 0.575, 0.565, 1 ), box-shadow 200ms cubic-bezier( 0.39, 0.575, 0.565, 1 );
  44 }
  45
  46 input#wpSummary:focus,
  47 input#wpSummary:active {
  48         outline: 0;
  49         border-color: #36c;
  50         box-shadow: inset 0 0 0 1px #36c;
  51 }
  52
  53 .editButtons input:first-child {
  54         margin-left: 0.1em;
  55 }
  56
  57 /*
  58  * Add a bit of margin space between the preview and the toolbar.
  59  * This replaces the ugly <p><br /></p> we used to insert into the page source
  60  */
  61 #wikiPreview.ontop {
  62         margin-bottom: 1em;
  63 }