body{
    /*font-family:Helvetica,Arial, Geneva, sans-serif;*/
    /*font-size:10pt; line-height:13pt;*/
    font: 14px/20px palatino, georgia, serif;
    margin:10px 30px 20px 20px;
}


#codesnippet {
	width: 400px;
	margin:0px 0px 0px 0px;
	text-align:left;
	padding: 5px 5px 5px 10px;
	background-color:#eee;
	border:1px dashed black;
	font:12px monospace;
}