MediaWiki:Common.css

Note: After saving, 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: Hold Ctrl while clicking Refresh, or press Ctrl-F5
• Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.

/* CSS placed here will be applied to all skins */
/* ConsoleOutput.php start */

.shell, pre, .mw-code, code, tt, div.mw-geshi {
	font-size: 12px;
	font-family: 'andale mono', 'lucida console', monospace;
}

.shell, pre, .mw-code, div.mw-geshi {
	overflow-x: auto;
	overflow-y: hidden;
	border: 1.5px solid #ccc;
	line-height: 1.2em;
	margin: 0;
	margin-bottom:  0.5em;
	padding: 10px;
	border-radius: 0px 0px 4px 4px;
	font-size: 13px;
	background-color: #f6f6f6;
	border-top: 0px;
}

.code {
	font-family: 'andale mono', 'lucida console', monospace;
	font-size: 12px;
	border: none;
	border-radius: 10px;
	background-color: #073642;
	color: #aaa;
	overflow-x: auto;
	overflow-y: hidden;
	line-height: 1.5em;
}

.code b {
	font-weight: 700;
}

.code_input {
	color: #ff8040;
	font-weight: 700;
}

.code_red {
	color: red;
}

.code_blue {
	color: #88f;
}

.code_green {
	color: #0f0;
}

.code_yellow {
	color: #ff0;
}

.code_cyan {
	color: #0ff;
}

#toc {float:right;margin:0 0 1em 1em;top:10px;right:10px;};

/* ConsoleOutput.php end */