PRE {
	DISPLAY: none
}



PRE {
	MARGIN-TOP: 10px
}
PRE {
	BORDER-RIGHT: #ddd 1px solid; PADDING-RIGHT: 15px; BORDER-TOP: #ddd 1px solid; PADDING-LEFT: 15px; FONT-SIZE: small; OVERFLOW-X: auto; PADDING-BOTTOM: 15px; BORDER-LEFT: #ddd 5px solid; PADDING-TOP: 15px; BORDER-BOTTOM: #ddd 1px solid; BACKGROUND-COLOR: #eee
}
PRE.normal {
	OVERFLOW-X: auto; BORDER-LEFT: 0px; BORDER-TOP-STYLE: none; BORDER-RIGHT-STYLE: none; BACKGROUND-COLOR: transparent; BORDER-BOTTOM-STYLE: none
}