/* Stylen m.b.t. CSS code coloring functie in javascript */

pre.code2 {
	background-color: #fff;
	font-style: normal;
	font-family: "Courier New", Courier, monospace;
	font-size: 12px;
	display: block;
	width: 100%;
	overflow: auto;
	padding: 0 0 20px 0;
}

div.code1{ 
background-image: url(/img/linenumbers.png);
background-repeat:repeat-y;
background-color: white;
line-height:16px;
border-top: 1px solid #333;
border-right: 1px solid #333;
border-left: 1px solid #333;
border-bottom: 1px solid #333;
padding:11px 0 0 29px;
text-align: left;
color: blue;
width:90%;
}

/* ADDON -- code */
div.jscript{
background-image: url(/img/linenumbers.png);
background-repeat:repeat-y;
background-color: white;
line-height:16px;
border: 1px solid #333;
padding:11px 0 0 29px;
margin-left: 5px;
text-align: left;
color: blue;
width:500px;
}

.quote .jscript{
width: 300px;
color: #9cc;
border: 1px solid #999;
}

* html pre.code3{
padding-bottom: 15px;
}

pre.code3 {
	background-color: #fff;
	font-style: normal;
	font-family: "Courier New", Courier, monospace;
	font-size: 12px;
	display: block;
	width: 100%;
	overflow: auto;
	padding: 0;
}
/* END ADDON -- code */