.style0{ font-weight: bold; }
.style2{ font-style: italic; }
.style3{ font-style: italic; font-weight: bold; }
.style4{ color: rgb(0, 0, 255); }