2 /* Generated headers */
4 font-family: "Times New Roman";
13 /* Generated descriptions */
15 font-family: "Times New Roman";
26 font-family: "Times New Roman";
35 font-family: "Times New Roman";
44 font-family: "Times New Roman";
53 font-family: "Times New Roman";
62 font-family: "Times New Roman";
69 /* Numbered list items */
71 font-family: "Times New Roman";
78 /* Bullet list items */
80 font-family: "Times New Roman";
89 font-family: "Times New Roman";
98 font-family: "Times New Roman";
114 border-collapse: collapse;
115 border: 0px solid black;
117 -webkit-user-select: text;
118 -moz-user-select: text;
119 -ms-user-select: text;
129 border: 1px solid black;