mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-30 19:16:39 +00:00
5f966e845b
Compensates for vertical padding on paragraphs. Match source mode padding to that of a TextInputWidget. Change-Id: Ia53d8d2a6b9eff464c6c61152d02250088049bf9
28 lines
428 B
Plaintext
28 lines
428 B
Plaintext
.dt-ui-targetWidget {
|
|
.oo-ui-toolGroup {
|
|
border: 0;
|
|
}
|
|
|
|
.ve-init-mw-target-surface {
|
|
.ve-ce-documentNode,
|
|
.ve-ui-surface-placeholder {
|
|
min-height: 10em;
|
|
box-sizing: border-box;
|
|
}
|
|
|
|
&.ve-ui-surface-source {
|
|
.ve-ce-documentNode,
|
|
.ve-ui-surface-placeholder {
|
|
padding: 6px 8px;
|
|
}
|
|
}
|
|
|
|
&.ve-ui-surface-visual {
|
|
.ve-ce-documentNode,
|
|
.ve-ui-surface-placeholder {
|
|
padding: 0 8px;
|
|
}
|
|
}
|
|
}
|
|
}
|