mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
22 lines
455 B
Plaintext
22 lines
455 B
Plaintext
.ve-init-mw-tempWikitextEditorWidget {
|
|
border: 0;
|
|
padding: 0;
|
|
color: inherit;
|
|
line-height: 1.5em;
|
|
width: 100%;
|
|
/* stylelint-disable-next-line plugin/no-unsupported-browser-features */
|
|
-moz-tab-size: 4;
|
|
/* stylelint-disable-next-line plugin/no-unsupported-browser-features */
|
|
tab-size: 4;
|
|
|
|
&:focus {
|
|
outline: 0;
|
|
padding: 0;
|
|
}
|
|
|
|
/* Mimics ve-ce-attachedRootNode */
|
|
&::selection {
|
|
background: rgba( 109, 169, 247, 0.5 ); /* #6da9f7 */
|
|
}
|
|
}
|