pre {
	/* color: #006060;*/
	font-family:  Courier, monospace;
	font-size: 11;
	/*font-size: 80%;   */
	/* margin-left: 1em; */
}