/*
We don't want to reproduce every style that we use in the site. We just want to give the
user some options without ceding control.
*/
.red_text { color: red; }
.logo_blue { color: #00548e; }

img.topleft { float: left; margin: 0px 10px 10px 0px; }
img.topright { float: right; margin: 0px 0px 10px 10px; }
img.left { float: left; margin: 10px 10px 10px 0px; }
img.right { float: right; margin: 10px 0px 10px 10px; }

div.topleft { float: left; margin: 0px 10px 10px 0px; }
div.topright { float: right; margin: 0px 0px 10px 10px; }
div.left { float: left; margin: 10px 10px 10px 0px; }
div.right { float: right; margin: 10px 0px 10px 10px; }

.project_name {
	font-size: 14px;
	font-weight: bold;
}

.gray_text { color: #777777; }