File: ext.wikiEditor.toolbar.styles.less

package info (click to toggle)
mediawiki 1%3A1.43.3%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 417,464 kB
  • sloc: php: 1,062,949; javascript: 664,290; sql: 9,714; python: 5,458; xml: 3,489; sh: 1,131; makefile: 64
file content (41 lines) | stat: -rw-r--r-- 921 bytes parent folder | download | duplicates (2)
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
32
33
34
35
36
37
38
39
40
41
/**
 * CSS for WikiEditor
 */

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

/* stylelint-disable selector-max-id */

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

#wpTextbox1 {
	line-height: 1.5em;
	resize: vertical;
}

/* Hide the WikiEditor toolbar until its css has loaded */
.wikiEditor-ui-toolbar {
	display: none;
}

/* This disables margin collapse for the children */
.client-js #editform::before,
.client-js #editform::after {
	content: ' ';
	display: table;
}
/* Set a margin on the textarea while we load, matching the height,
 * of the wikieditor toolbar to prevent reflow. After the wikieditor ui is loaded,
 * the textarea is wrapped inside wikieditor-ui div and no longer matches */
.client-js .mw-editform > #wpTextbox1 {
	/* Toolbar height + padding + bottom border = 26 + 2*3 + 1 */
	margin-top: 33px;
}