mediawiki-extensions-WikiEd.../modules/ext.wikiEditor.css

/*
 * CSS for WikiEditor
 */

/* This ID (#editform) could change in MediaWiki */
form#editform {
	margin: 0;
	padding: 0;
}
/* These IDs (#wpSummaryLabel and #wpSummary) could change in MediaWiki */
#wpSummary, #wpSummaryLabel {
	margin-bottom: 1em;
}
/* This ID (#wpTextbox1) could change in MediaWiki */
.wikiEditor-ui textarea#wpTextbox1 {
	border: none;
	padding: 0;
	margin: -1px;
	line-height: 1.5em;
}
.wikiEditor-ui .wikiEditor-ui-text > textarea#wpTextbox1 {
	margin: 0;
}
Lots of refactoring. This still does not work! But it's getting close. 2010-09-15 22:40:50 +00:00			`/*`
			`* CSS for WikiEditor`
			`*/`
Copied over all the resources needed to make WikiEditor stand on it's own two feet. Lots more to do as far as organizing and fleshing out the extensions's PHP bits. 2010-09-15 03:08:35 +00:00
			`/* This ID (#editform) could change in MediaWiki */`
			`form#editform {`
			`margin: 0;`
			`padding: 0;`
			`}`
			`/* These IDs (#wpSummaryLabel and #wpSummary) could change in MediaWiki */`
			`#wpSummary, #wpSummaryLabel {`
			`margin-bottom: 1em;`
			`}`
			`/* This ID (#wpTextbox1) could change in MediaWiki */`
			`.wikiEditor-ui textarea#wpTextbox1 {`
			`border: none;`
			`padding: 0;`
			`margin: -1px;`
			`line-height: 1.5em;`
			`}`
			`.wikiEditor-ui .wikiEditor-ui-text > textarea#wpTextbox1 {`
			`margin: 0;`
			`}`