/*
Stylesheet for highlight.js: IPB Blue skin
highlight.js (c) Ivan Sagalaev <Maniac@SoftwareManiacs.Org>
this.css     (c) Oleg Efimov <EfimovOV@Yandex.Ru>
*/


/* Some fixes from Sannis */
pre {
    margin: 3px;
    width: auto;
	
	overflow: auto;
	overflow-x: auto;
}

pre code {
    margin: 0px;
	width: 99%;
	float: left;
	display: block;
	
	padding: 2px;
	padding-left: 4px;
	padding-right: 4px;
	
	color: black;
	background: #F0F0F0;
	border: solid 1px #CCCCCC;
	
    font-family: "Consolas","Courier New",Courier,mono,serif;
    font-size: 12px;
}

pre code[class]:after {
	content: 'Language: ' attr(class);
	
	display: block;
	
	padding: 0px;
	
	color: #CCC;
	border-top: solid 1px;
	
	text-align: right;
	/*font-size: smaller;*/
}

pre code.no-highlight:after { display: none; }
/* Some fixes from Sannis End */

/* Style for IPB Blue skin */

/* HTML */
.html .doctype { color: #6666CC; font-weight: normal; }
.html .comment { color: #006600; font-weight: normal; }
.html .js { color: #666666; font-weight: normal; }
.html .style { color: #880000; font-weight: normal; }
.html .tag { color: #000099; font-weight: bold; }
.html .attribute { color: black; font-weight: normal; }
.html .value { color: #000099; font-weight: normal; }

.html .css, .html .javascript { opacity: 0.5; }

/* XML */
.xml .pi { color: #6666CC; font-weight: normal; }
.xml .cdata{ color: #666666; font-weight: normal; }
.xml .comment { color: #006600; font-weight: normal; }
.xml .tag { color: #000099; font-weight: normal; }
.xml .tag .title { color: #000099; font-weight: bold; }
.xml .tag_internal { /*color: #000099; font-weight: bold;*/ }
.xml .attribute { color: black; font-weight: normal; }
.xml .value { color: #000099; font-weight: normal; }

/* PHP5 */
.php .comment { color: green; font-weight: normal; }
.php .phpdoc { color: #00AAAA; font-weight: bold; }
.php .keyword { color: #000099; font-weight: bold; }
.php .string { color: gray; font-weight: normal; }
.php .variable { color: #000099; font-weight: normal; }
.php .number { color: #FF6600; font-weight: normal; }
.php .operator { color: red; font-weight: normal; }