/* Core */

div.sh {
	border: 1px solid #999;
	margin-left: 3px;
	background-color: #fff;
	padding: 3px;
}
div.sh ol {
	margin: 0px;
	padding: 0px;
	padding-left: 40px;
}
div.sh li {
	border-left: 3px solid #ccc;
	margin: 0px;
	padding: 0px;
	padding-left: 3px;
}

code.sh_body {
}

.sh_comment {
	color: #808080;
}

div.sh_wrapper {
	width: 100%;
	display: block;
	position: relative;
	margin: 5px;
	padding: 5px;
	padding-top: 20px;
	padding-bottom: 20px;
}

div.sh_wrapper .sh_lines {
	padding-top: 3px;
	padding-bottom: 3px;
	padding-right: 5px;
	width: 30px;
	text-align: right;
	z-index: 2;
	display: block;
	top: 21px;
	left: 16px;
	position: absolute;
	border-right: 3px solid #ddd;
	background-color: #fff;
	white-space: pre;
}
div.sh_wrapper .sh_body {
	white-space: pre;
	display: block;
	position: relative;
	z-index: 1;
	background-color: #fff;
	border: 1px solid #ddd;
	margin: 0px;
	margin-left: 10px;
	margin-right: 10px;
	padding: 3px;
	padding-left: 45px;
	overflow: auto;
}

div.sh_wrapper div.sh_functions {
	position: absolute;
	top: 0px;
	right: 20px;
	font-size: 8pt;
	height: 20px;
	line-height: 20px;
}
div.sh_wrapper div.sh_language {
	position: absolute;
	height: 20px;
	line-height: 20px;
	top: 0px;
	left: 45px;
	z-index: 0;
	font-weight: bold;
}
div.sh_wrapper div.sh_header {
	position: absolute;
	background-image: url('../images/left_tag.png');
	width: 40px;
	height: 40px;
	top: 0px;
	left: 0px;
	z-index: 0;
}
div.sh_wrapper div.sh_footer {
	position: absolute;
	background-image: url('../images/right_tag.png');
	width: 40px;
	height: 40px;
	bottom: 0px;
	right: 0px;
	z-index: 0;
}