Gadget-SyntaxHighlighter.css

Note: After publishing, you may have to bypass your browser's cache to see the changes.

Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
Opera: Press Ctrl-F5.

/* Custom CSS for the syntax highlighter */

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

MediaWiki:Gadget-SyntaxHighlighter.css