/* CSS definition file containing site wide stylesheets */

.Dashed_Box {
	border: 1pt dashed rgb(30,57,148);
 	padding: 4pt
}

.Keywords {
	font-size: 11px;
 	color: rgb(0,190,190);
 	font-style: italic
}