/* General Fonts */
-html, body, div, p {
+html, body {
font-family: DejaVu Sans, Verdana, Arial, sans-serif;
font-size: 12pt;
color: $text-color;
margin: 0.5em 0;
line-height: 1.3;
}
+li > p {
+ margin: 0;
+}
.comment {
margin-top: 1.5em;
}
+.footnotes {
+ font-size: 90%;
+}
+
+table td, table th {
+ border: 1px solid $light-text-color;
+ padding: 6px 13px;
+ font-weight: normal;
+}