/* CSS definitions for fonts */

.happy_title		{ font-family: Helvetica, sans-serif; font-weight: bolder; font-size: 12pt; color: black; }
.happy_iphone		{ font-family: Helvetica, sans-serif; font-weight: normal; font-size: 11pt; color: black; }
.happy				{ font-family: Helvetica, sans-serif; font-weight: normal; font-size: 10pt; color: black; }
.happy_small		{ font-family: Helvetica, sans-serif; font-weight: normal; font-size: 9pt; color: black; }
.happy_footnote		{ font-family: Helvetica, sans-serif; font-weight: normal; font-size: 9pt; color: black; font-style: italic; }
.happy_navigation	{ font-family: Helvetica, sans-serif; font-weight: normal; font-size: 8pt; color: white; }
.debug				{ font-family: Helvetica, sans-serif; font-weight: normal; font-size: 8pt; color: darkblue; }
A:link				{ text-decoration: underline; color: black; }
A:active			{ text-decoration: underline, overline; color: black; }
A:visited			{ text-decoration: underline; color: black; }