mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
d2c15e9eb5
* Use local edit source tool, and emit event to MF * Bring in toolbar styles, bonus: remove old desktop style hacks Bug: T96186 Change-Id: I89351e409aa4e9d626edd7151ae05bdcd58f1cee
45 lines
1.1 KiB
CSS
45 lines
1.1 KiB
CSS
/*!
|
|
* VisualEditor MediaWiki Initialization MobileArticleTarget styles.
|
|
*
|
|
* @copyright 2011-2015 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
.ve-ui-overlay {
|
|
/* enough to cover .overlay-header-container with z-index: 5 */
|
|
z-index: 6;
|
|
}
|
|
|
|
.ve-init-mw-target-surface .ve-ce-documentNode,
|
|
.ve-init-mw-target-surface .ve-ui-surface-placeholder {
|
|
padding: 0;
|
|
}
|
|
|
|
@media (max-width: 767px) {
|
|
.ve-init-mw-target-surface .ve-ui-surface-placeholder > * {
|
|
/* Fix margin overlap */
|
|
margin-top: 0;
|
|
/* Placeholder doesn't need a border as well */
|
|
border: 0;
|
|
}
|
|
}
|
|
|
|
.ve-ui-debugBar {
|
|
padding: 0.8em 16px;
|
|
border-top: 1px solid #ccc;
|
|
box-shadow: 0 10px 10px -10px rgba(0, 0, 0, 0.15) inset;
|
|
}
|
|
|
|
/* Hide toolbar shortcuts, no use on mobile */
|
|
.oo-ui-popupToolGroup .oo-ui-tool-link .oo-ui-tool-accel {
|
|
display: none;
|
|
}
|
|
|
|
/* Hide right border on last tool */
|
|
.ve-init-mw-mobileArticleTarget-toolbar .oo-ui-toolbar-tools .oo-ui-toolGroup:last-child {
|
|
border-right: 0;
|
|
}
|
|
|
|
.oo-ui-toolbar-actions {
|
|
border-left: 1px solid #ddd;
|
|
} |