/* CODE FORMATTING */

code {
	font: 1em "Courier New";
}

code.pre {
	width: 600px;
	margin: 0 auto 10px;
	border: 1px solid #ccc;
	padding: 10px;
	background: no-repeat 10px 10px #fff;
	white-space: pre;
	display: block;
	clear: both;
	overflow: auto;
}

code.pre.html {
	padding-top: 30px;
	background-image: url(/img/common/html.png);
}

code.pre.css {
	padding-top: 30px;
	background-image: url(/img/common/css.png);
}

code.pre.javascript {
	padding-top: 30px;
	background-image: url(/img/common/javascript.png);
}

code.pre.php {
	padding-top: 30px;
	background-image: url(/img/common/php.png);
}

/* HTML SYNTAX COLOURING */

/* CSS SYNTAX COLOURING */

/* JAVASCRIPT SYNTAX COLOURING */

.javascript .native {
	color: #099;
}

.javascript .reserved, .javascript .bracket {
	color: #009;
}

.javascript .client {
	color: #909;
}

.javascript .operator, .javascript .string {
	color: #00f;
}

.javascript .regex {
	color: #060;
}

.javascript .number {
	color: #f00;
}

.javascript .comment {
	color: #999;
}

/* PHP SYNTAX COLOURING */