.blue10  { color: #006; font-size: 10pt }
.gray10 { color: #333; font-size: 10pt }
.purple { color: #93c; font-size: 10pt }
.orange { color: #f60; font-size: 10pt }
.green { color: #690; font-size: 10pt }