extensions/WikiEditor/modules/ext.wikiEditor.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

/**
 * CSS for WikiEditor
 */

form#editform {
	margin: 0;
	padding: 0;
}

#wpSummary,
#wpSummaryLabel {
	margin-bottom: 1em;
}

.wikiEditor-ui textarea#wpTextbox1 {
	border: none;
	padding: 0;
	margin: -1px;
	line-height: 1.5em;
	resize: vertical;
}

.wikiEditor-ui .wikiEditor-ui-text > textarea#wpTextbox1 {
	margin: 0;
}

/* Hide vanilla MediaWiki's "Editing help" link, as we provide it in the toolbar */
.editButtons .editHelp,
.editButtons .mw-editButtons-pipe-separator {
	display: none;
}