.style0{ color: rgb(47, 84, 150); }
.style2{ font-weight: bold; }
.style3{ font-style: italic; }