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