body {
	background-color: #0048FF;
	margin-left: 0px;
	margin-top: 0px;
	margin-right: 0px;
	margin-bottom: 0px;
}

.headline {
	color: #002056;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: large;
        font-weight: bold;
}
.normaltext {
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: smaller;
}
.small {font-size: xx-small}
.large {font-size: larger}