SPAN.SCREEN, SPAN.PROGRAMLISTING, SPAN.LITERAL, SPAN.EMPHASIS, SPAN.TITLE, SPAN.PARA, SPAN.HOLDER, SPAN.YEAR, SPAN.PUBDATE, SPAN.SURNAME, SPAN.FIRSTNAME, SPAN.ULINK {
  font-family: Times New Roman,serif;
  font-weight: 500;
  font-style: normal;
  font-size: 10pt;
  color: #000000;
}
DIV { margin-top: 0pt; margin-bottom: 0pt; margin-left: 0pt; margin-right: 0pt }