@import url(basic.css);
ol { color: navy; font-size: small; font-family: Arial, Helvetica, sans-serif; font-weight: bold; list-style-type: upper-roman; margin: 1em 0 1em 40px; }
ol ol { color: black; font-size: medium; font-family: "Times New Roman", Times, serif; font-weight: normal; margin-top: 0; margin-bottom: 0; list-style-type: decimal; }
ol ol ol { color: black; font-size: medium; font-family: "Times New Roman", Times, serif; font-weight: normal; list-style-type: lower-alpha; margin-top: 0; margin-bottom: 0; }
ol ol ol ol { color: black; font-size: medium; font-family: "Times New Roman", Times, serif; font-weight: normal; list-style-type: lower-roman; margin-top: 0; margin-bottom: 0; }