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         /* Ensure the textarea is not higher than browser's viewport on small screens */
  10         max-height: 100vh;
  11         /* But don't let it collapse into nothingness on really tiny screens */
  12         min-height: 5em;
  13 }
  14
  15 /*
  16  * Add a bit of margin space between the preview and the toolbar.
  17  * This replaces the ugly <p><br /></p> we used to insert into the page source
  18  */
  19 #wikiPreview.ontop {
  20         margin-bottom: 1em;
  21 }
  22
  23 /* Adjustments to edit form elements */
  24 #editpage-copywarn {
  25         font-size: 0.9em;
  26 }
  27
  28 #wpSummary {
  29         display: block;
  30         width: 80%;
  31         margin-bottom: 1em;
  32 }
  33
  34 /* Adjustments to edit form elements (only when $wgOOUIEditPage is false) */
  35 .mw-editform-legacy .editCheckboxes {
  36         margin-bottom: 1em;
  37 }
  38
  39 .mw-editform-legacy .editCheckboxes input:first-child {
  40         margin-left: 0;
  41 }
  42
  43 .mw-editform-legacy .cancelLink {
  44         margin-left: 0.5em;
  45 }
  46
  47 .mw-editform-legacy input#wpSummary {
  48         background-color: #fff;
  49         color: #000;
  50         margin-top: 0;
  51         padding: 0.625em 0.546875em 0.546875em;
  52         border: 1px solid #a2a9b1;
  53         border-radius: 2px;
  54         box-shadow: inset 0 0 0 1px #fff;
  55         font-family: inherit;
  56         font-size: inherit;
  57         -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 );
  58         -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 );
  59         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 );
  60 }
  61
  62 .mw-editform-legacy input#wpSummary:focus,
  63 .mw-editform-legacy input#wpSummary:active {
  64         outline: 0;
  65         border-color: #36c;
  66         box-shadow: inset 0 0 0 1px #36c;
  67 }
  68
  69 .mw-editform-legacy .editButtons input:first-child {
  70         margin-left: 0.1em;
  71 }
  72
  73 /* Adjustments to edit form elements (only when $wgOOUIEditPage is true) */
  74 .mw-editform-ooui #editpage-copywarn {
  75         line-height: 1.26;
  76 }
  77
  78 .mw-editform-ooui #wpSummary {
  79         max-width: none;
  80 }
  81
  82 .mw-editform-ooui #wpSummaryLabel {
  83         margin: 0;
  84 }
  85
  86 .mw-editform-ooui .editCheckboxes .oo-ui-fieldLayout {
  87         margin-right: 1em;
  88 }
  89
  90 .mw-editform-ooui .editHelp {
  91         margin-left: 0.5em;
  92         vertical-align: middle;
  93 }
  94
  95 .mw-editform-ooui .editHelp a {
  96         font-weight: bold;
  97 }
  98
  99 .mw-editform-ooui .editOptions {
 100         border-radius: 0 0 2px 2px;
 101 }