pre {
	background-color: #DDDDDD;
	border: solid 1px gray;
        margim: 4px;
        padding: 4px;
}