body{	margin: 1em;	padding: 1em;	background-color: white;	font-family: verdana, arial, helvetica, sans-serif;	font-size: 1em;}pre{	font-family: Monaco, Courier, sans-serif;	color: black;	font-size: 0.9em;}code {	font: 0.9em Monaco, Courier, sans-serif;	color: black;}a:link{	color: #336699;	text-decoration : none;}a:visited{	color: #336699;	text-decoration : none;}a:active{	color: #CC9933;	text-decoration : none;}a:hover{	color : blue;}.code{	background-color: #DADADA;	padding: 4px;	border-left: #5A5A5A;	border-width: 0 0 0 2px;	border-style: solid;}.diffnew{	padding: 0 2px 0 2px;	background-color: #C2FF85;	color: black;	text-decoration: none;	display: block;	border-color: #58A459;	border-width: 1px;	border-style: solid;}.diffold{	padding: 0 2px 0 2px;	background-color: #FFD1EC;	color: blank;	text-decoration: none;	display: block;}h1{	font-size: 1.5em;	border-color: white white #161180 #161180;	padding: 4px;	border-width: 0 0 2px 2px;	background-color: #CBE2FF;	border-style: solid;}h2{	font-size: 1.2em;	padding: 4px;	border: dotted;	border-color: white white #161180 #161180;	border-width: 1px;	background-color: #CBE2FF;}h3{	font-size: 1.1em;	padding: 4px;	border: dotted;	border-color: white white #161180 #161180;	border-width: 1px;	background-color: #CBE2FF;}h4{	font-size: 1em;	padding: 4px;	border: dotted;	border-color: white white #161180 #161180;	border-width: 1px;	background-color: #CBE2FF;}.message{	margin-left: auto;	margin-right: 0;	padding: 0.2em;	font-size: 0.9em;	background-color: #eeeeee;	width: 50%;}