/* Contents
----------------------------------------*/
#display_rule {
	overflow	: scroll;
	white-space : pre;
	font-family : monospace;
	border		: 1px solid #888888;
	background-color : white;
	padding		: 1em;
}