mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-09-27 20:26:46 +00:00
a2e59f7c86
*.php * Updated links to files ve.ui.MetaDialog * Added stack panel that now contains category and language editor panels * Attached outline widget to stack panel ve.ui.FlaggableWidget -> ve.ui.FlaggableElement * Moved to elements ve.ui.GroupWidget -> ve.ui.GroupElement * Moved to elements * Removed invalid event documentation ve.ui.LabledWidget -> ve.ui.LabledElement * Moved to elements ve.ui.StackPanelLayout.js * New class, mutually exclusive panel container ve.ui.TitledPanelLayout * Remvoed, using labeled element instead ve.ui.Element.css * Added for elements * Moved label style here, from widget styles *.css, ve.ui.ButtonWidget.js, ve.ui.InputLabelWidget, ve.ui.OptionWidget, ve.ui.SelectWidget * Adjusted class names to reflect widget -> element migration Change-Id: I32f504c844dba7aae1b286eef06ca046627bdc8d
40 lines
709 B
CSS
40 lines
709 B
CSS
/*!
|
|
* VisualEditor UserInterface Layout styles.
|
|
*
|
|
* @copyright 2011-2013 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
/* ve.ui.GridLayout */
|
|
|
|
.ve-ui-gridLayout {
|
|
position: absolute;
|
|
top: 0;
|
|
left: 0;
|
|
right: 0;
|
|
bottom: 0;
|
|
}
|
|
|
|
/* ve.ui.PanelLayout */
|
|
|
|
.ve-ui-panelLayout {
|
|
position: absolute;
|
|
}
|
|
|
|
/* ve.ui.EditorPanelLayout */
|
|
|
|
.ve-ui-editorPanelLayout {
|
|
padding: 1.5em;
|
|
-webkit-box-sizing:border-box;
|
|
-moz-box-sizing:border-box;
|
|
box-sizing:border-box;
|
|
}
|
|
|
|
.ve-ui-editorPanelLayout > .ve-ui-labeledElement-label {
|
|
font-size: 1.5em;
|
|
padding-left: 1.75em;
|
|
margin-bottom: 1em;
|
|
background-position: left center;
|
|
background-repeat: no-repeat;
|
|
}
|