.bordered {
	border-style: solid;
	border-color: black;
	border-width: 1px;
}

.gray { color: gray; }
.white { color: white; }
.red { color: red; }
.green { color: green; }
.teal { color: teal; }
.purple { color: #660066; }
.big { font-size: 125%; }

body { background-color: white; }