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 .mw-editform-ooui #wpSummaryWidget,
  29 .mw-editform-legacy #wpSummary {
  30         display: block;
  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 #wpSummary {
  48         width: 80%;
  49 }
  50
  51 .mw-editform-legacy input#wpSummary {
  52         background-color: #fff;
  53         color: #000;
  54         margin-top: 0;
  55         padding: 0.625em 0.546875em 0.546875em;
  56         border: 1px solid #a2a9b1;
  57         border-radius: 2px;
  58         box-shadow: inset 0 0 0 1px #fff;
  59         font-family: inherit;
  60         font-size: inherit;
  61         -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 );
  62         -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 );
  63         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 );
  64 }
  65
  66 .mw-editform-legacy input#wpSummary:focus,
  67 .mw-editform-legacy input#wpSummary:active {
  68         outline: 0;
  69         border-color: #36c;
  70         box-shadow: inset 0 0 0 1px #36c;
  71 }
  72
  73 .mw-editform-legacy .editButtons input:first-child {
  74         margin-left: 0.1em;
  75 }
  76
  77 /* Adjustments to edit form elements (only when $wgOOUIEditPage is true) */
  78 .mw-editform-ooui #editpage-copywarn {
  79         line-height: 1.26;
  80 }
  81
  82 .mw-editform-ooui #wpSummaryWidget {
  83         max-width: none;
  84 }
  85
  86 .mw-editform-ooui #wpSummaryLabel {
  87         margin: 0;
  88 }
  89
  90 .mw-editform-ooui .editCheckboxes .oo-ui-fieldLayout {
  91         margin-right: 1em;
  92 }
  93
  94 .mw-editform-ooui .editHelp {
  95         margin-left: 0.5em;
  96         vertical-align: middle;
  97 }
  98
  99 .mw-editform-ooui .editHelp a {
 100         font-weight: bold;
 101 }
 102
 103 .mw-editform-ooui .editOptions {
 104         border-radius: 0 0 2px 2px;
 105 }