pre,
div.codebox-n,
div.codebox {
	font-family: 'Lucida Console', 'Bitstream Vera Sans Mono', 'Courier New', Monaco, Courier, monospace;
	white-space: pre;
	width: 80%;
	line-height: 1.4em;
	margin: 1em 0;
	border: 1px dashed #aaa8a8;
	padding: 0.5em 0 0.3em 0.5em;
	font-size: 9pt;
	color: #000;
	overflow: auto;
}

div.codebox {
	background: #fff url(../images/cut.gif) no-repeat top right;
}

div.code-box-n {
	width: 33em;
	padding-left: 0.3em;
	border: 1px solid;
	border-color: #666 #999;
	background-color: #fff;
}

div.code-box-n:hover {
	border-color: #c30;
}

div.code-box-n a { font-weight: normal; }
div.code-box-n a:focus,
div.code-box-n a:hover {
	border-bottom: 1px solid #c00;
}