@font-face { font-family: "dejavuserif"; src: url(fonts/DejaVuSerif.ttf); } @font-face { font-family: "dejavuserif"; font-weight: bold; src: url(fonts/DejaVuSerif-bold.ttf); } @font-face { font-family: "dejavuserif"; font-style: italic; src: url(fonts/DejaVuSerif-Italic.ttf); } @font-face { font-family: "dejavuserif"; font-style: italic; font-weight: bold; src: url(fonts/DejaVuSerif-BoldItalic.ttf); } body { margin-left: 0.5em; margin-right: 1.5em; padding: 0; font-family: dejavuserif; } div, p, h1, h2, h3, h4, dl, dt { margin: 0; padding: 0; } table { border: 1px solid transparent; border-collapse: collapse; } td { border: 1px solid transparent; border-collapse: collapse; vertical-align: top; padding: 0.1em; } ol, ul { margin: 0; padding: 0; padding-left: 2em; } li { display: list-item; min-height: 1em; clear: both; } dd { padding: 0; margin-top: 0; margin-bottom: 0; margin-right: 0; } .p_P11 { font-weight: normal; font-size: medium; margin-left: 0em; margin-right: 0em; text-indent: 0em; line-height: 1.5; } .p_P18 { font-weight: normal; font-size: large; margin-left: 0em; margin-right: 0em; margin-top: 0em; margin-bottom: 1.56em; text-indent: 0em; line-height: 1.5; } .p_p1 { font-weight: normal; font-size: medium; margin-left: 0em; margin-right: 0em; text-indent: 1em; line-height: 1.5; }