mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-23 11:32:51 +00:00
02d6709b1e
Depends-On: Ic4a5ab803c89b3671f452579bca0da08b779bdfe Change-Id: If6b87b9a86031b846a03d67cd8e05afd7ec0a888
20 lines
307 B
Plaintext
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 */
|
|
}
|
|
}
|