div.ov {
width:35em;
overflow:auto;
}

code {
   font-family: Monaco, Consolas, Verdana, sans-serif;
   font-size:90%;
   padding-left: 2px;
   padding-right: 2px;
   color: #002240;
}

.tags {
	background:#fff no-repeat;
	padding:3px;
	padding-left:20px;
}