CODE {
	DISPLAY: block;
	WHITE-SPACE: pre;
	background-color: #0863B6;
}
.scrollholder {
	FLOAT: left;
	margin-top: 0px;
	margin-right: 0px;
	margin-bottom: 0px;
	margin-left: 3px;
}
#operaBug {
	OVERFLOW: hidden
}
.revert {
	DIRECTION: rtl; unicode-bidi: bidi-override; TEXT-ALIGN: left
}