.style0{ color: rgb(38, 38, 38); }
.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{ font-weight: bold; }
.style6{ color: rgb(4, 50, 255); font-style: italic; }
.style7{ color: rgb(0, 0, 255); font-style: italic; }
.style8{ color: rgb(0, 0, 255); }
.style9{ color: rgb(5, 99, 193); }
.style10{ font-style: italic; font-weight: bold; }