.ex_code{
	font-family: consolas;
	background-color: #F2F2F2;
	color: black;
}

.ex_code b{
	font-weight: bold;
	color: purple;
}

.ex_comment{
	color: green;
}