MediaWiki:Gadget-SyntaxHighlighter.css

/* Custom CSS for the syntax highlighter */

border: 0 !important; padding: 0.1em !important; line-height: 1.4em !important; height: 474px !important; }	margin-top: -474px !important; }
 * 1) wpTextbox0, #wpTextbox1 {
 * 1) wpTextbox0 + #wpTextbox1 {