/* Overview heading */
h5.overh	{ font-size: 120%;	} /* Procedure heading */
h5.proch	{ font-size: 100%;	} /* Decision heading */
h5.what { font-size: 100%; color: #993399; } /* Note & Tip heading */
h5.note	{ font-size: 95%; }