.thick {
	font-weight: bold;
}

.small{
	font-size:smaller;
}

pre {
 	white-space: pre-wrap; /* css-3 */
 	/* width: 99%; */
 	word-wrap: break-word; /* Internet Explorer 5.5+ */
}

.highlight0 {
   background-color: #fac8c8;
   color: #000000;
}
.highlight1 {
   background-color: #00ffff;
   color: #000000;
}
.highlight2 {
   background-color: #c86464;
   color: #000000;
}