mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +00:00
238feeb881
* Rewrite of all tools, dramatically simplifiying them and decreasing duplication * Tools are now created using a tool factory instead of a make-shift facility built into the toolbar * All UI object have a surface or a toolbar reference instead of a surface view Change-Id: I589ecba36bf715b452d03c8fd5c0547dc3c1dc61
35 lines
629 B
CSS
35 lines
629 B
CSS
/**
|
|
* VisualEditor user interface Toolbar styles.
|
|
*
|
|
* @copyright 2011-2012 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
.ve-ui-toolbar {
|
|
padding-bottom: 1px;
|
|
}
|
|
|
|
.ve-ui-toolbarGroup {
|
|
display: inline-block;
|
|
padding: 0.25em;
|
|
border-right: solid 1px #f0f3f5;
|
|
vertical-align: middle;
|
|
}
|
|
|
|
.ve-ui-toolbarDivider {
|
|
display: inline-block;
|
|
width: 1px;
|
|
height: 24px;
|
|
margin: 0.5em 0 0.5em 0.5em;
|
|
background-color: #ddd;
|
|
}
|
|
|
|
.ve-ui-toolbarLabel {
|
|
display: inline-block;
|
|
padding: 0.5em 0.75em;
|
|
line-height: 22px;
|
|
font-size: 0.8em;
|
|
color: #555;
|
|
vertical-align: top;
|
|
}
|