mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/widgets/ve.ui.MWParameterResultWidget.css
Roan Kattouw 654d641c5f Update VE core submodule to master (33ca43b)
Reorganize stylesheets in VE-MW to match JS directory structures,
and update VisualEditor.php for similar reorganization in VE core.

New changes:
c6ed962 Reorganize stylesheets

Change-Id: I4f1070643744fb2ee6726cb03e012e31a9a05c64
2014-04-18 13:28:31 -07:00

53 lines
1.1 KiB
CSS

/*!
* VisualEditor MediaWiki UserInterface MWParameterResultWidget styles.
*
* @copyright 2011-2014 VisualEditor Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
.ve-ui-mwParameterResultWidget {
padding-right: 0.25em;
}
.ve-ui-mwParameterResultWidget .oo-ui-optionWidget-icon {
top: 0.25em;
margin-top: 0;
}
.ve-ui-mwParameterResultWidget-label,
.ve-ui-mwParameterResultWidget-names,
.ve-ui-mwParameterResultWidget-description {
white-space: nowrap;
text-overflow: ellipsis;
overflow: hidden;
/* HACK: Based on the expected width of this widget, using % produces unreliable results*/
max-width: 33em;
}
.ve-ui-mwParameterResultWidget-label {
font-weight: bold;
float: left;
}
.ve-ui-mwParameterResultWidget-names {
float: right;
font-size: 0.9em;
}
.ve-ui-mwParameterResultWidget-name {
border-radius: 0.3em;
padding: 0.125em 0.25em;
margin-left: 0.5em;
color: #999;
background-color: #eee;
border: solid 1px #ddd;
}
.ve-ui-mwParameterResultWidget-name:first-child {
background-color: #fff;
}
.ve-ui-mwParameterResultWidget-description {
clear: both;
}