.style1 {font-size: 14px}
.style2 {
	font-size: 140%;
	font-weight: bold;
}

.exheading {font-weight: bold; cursor: hand}
.exindent {padding-left: 20px}

.style3 {font-size: 180%}