mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-01 17:36:35 +00:00
2dd888814a
We don't yet have any way to test or verify anything with less. Not the less
syntax, not the less compilation, not the resulting css code quality.
Using it at this point doesn't seem worth the cost of not having any of that.
This reverts commit 17ddf031fe.
Change-Id: I7e8ab90f7a9f77f5cf6d7baeab586d4e0332042e
33 lines
817 B
CSS
33 lines
817 B
CSS
/*!
|
|
* VisualEditor MediaWiki Initialization ViewPageTarget Vector skin styles.
|
|
*
|
|
* @copyright 2011-2014 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
.ve-init-mw-viewPageTarget-surface {
|
|
margin: 0.8em -1.5em 0 -1.5em;
|
|
}
|
|
|
|
.ve-init-mw-viewPageTarget-surface .ve-ce-documentNode {
|
|
font-size: 0.8em;
|
|
padding: 0 1.875em; /* 1.5/0.8 */
|
|
}
|
|
|
|
.ve-init-mw-viewPageTarget-surface .oo-ui-menuWidget {
|
|
font-size: 0.8em;
|
|
}
|
|
|
|
.ve-init-mw-viewPageTarget-toolbar {
|
|
margin: -1em -1em 1em -1em;
|
|
-webkit-transition: margin 200ms ease-out;
|
|
-moz-transition: margin 200ms ease-out;
|
|
-o-transition: margin 200ms ease-out;
|
|
transition: margin 200ms ease-out;
|
|
position: relative;
|
|
}
|
|
|
|
.ve-ui-surface-overlay-global {
|
|
z-index: 101; /* #p-personal is z-index 100 in vector :( */
|
|
}
|