mediawiki-extensions-Visual.../modules/ve-mw/preinit/styles/ve.init.mw.TempWikitextEditorWidget.less
Ed Sanders 7d39310830 build: Update stylelint-config-wikimedia to 0.15.0
Change-Id: I87b7975b91a25f994ef9fc55759549e4c27e3e8b
2023-05-24 18:50:35 +01:00

20 lines
307 B
Plaintext

.ve-init-mw-tempWikitextEditorWidget {
border: 0;
padding: 0;
color: inherit;
line-height: 1.5em;
width: 100%;
-moz-tab-size: 4;
tab-size: 4;
&:focus {
outline: 0;
padding: 0;
}
/* Mimics ve-ce-attachedRootNode */
&::selection {
background: rgba( 109, 169, 247, 0.5 ); /* #6da9f7 */
}
}