.style0{ font-weight: bold; }
.style2{ font-style: italic; }
.style3{ color: rgb(0, 0, 255); font-style: italic; font-weight: bold; }
.style4{ color: rgb(0, 0, 255); font-weight: bold; }
.style5{ color: rgb(4, 50, 255); font-style: italic; }
.style6{ color: rgb(0, 0, 255); font-style: italic; }
.style7{ color: rgb(0, 0, 255); }
.style8{ color: rgb(5, 99, 193); }
.style9{ color: rgb(57, 57, 57); }
.style10{ color: rgb(57, 57, 57); font-style: italic; }
.style11{ color: rgb(57, 57, 57); font-weight: bold; }
.style12{ color: rgb(57, 57, 57); font-style: italic; font-weight: bold; }