Difference between revisions of "MediaWiki:Common.css"

/* 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;position:fixed;top:150px;right:10px;};

/* ConsoleOutput.php end */