body
{
  font-family      : lucida sans unicode, tahoma, sans-serif;
  color            : black;
}
div.body
{
  background-color : white;
}
div.page
{
  background-color : white;
  margin           : 0.5em 1em 1em 1em;
  padding          : 0em 1em 0em 1em;
  border           : 0px dotted;
  border-top-width : 1px;
  border-bottom-width: 1px;
}
h1, h2, h3, h4, h5, h6
{
  font-family      : trebuchet ms, tahoma;
}
.notice
{
  padding          :  10px 10px 10px 10px;
  font-size        :  small;
}
.notice
{
  border           : 1px dotted gray;
  padding          : 1em 1em 1em 1em;
  margin           : 0em 0em 1em 0em;
}
span.linelist
{
  display          :  block;
  text-indent      : -1.22em;
  margin-left      :  1.22em;
  text-align       :  left;
}
tr.listrow
{
  vertical-align   : top;
}
th
{
  padding          : 2px 4px 2px 4px;
  vertical-align   : bottom;
  text-align       : left;
  font-size        : 14pt;
  font-weight      : bold;
  font-family      : trebuchet ms, tahoma;
}
tr.smallheader th
{
  font-size        : 10pt;
  text-align       : center;
}
tr.listrow td
{
  text-align       : center;
}
.ef
{
  font-size        : 10pt;
  width            : 100%;
}

.langSwitcher
{
  float            : right;
  margin-top       : 0.5em;
  color            : red;
  font-size        : 80%;
}

a, a:visited a:active a:hover
{
  color            : black;
  text-decoration  : none;
  border-bottom    : 1px dotted #a0a0a0;
}
a:before
{
  background       : url(/design/external.png) center left no-repeat;
  padding-left     : 13px;
  content          : " "
}
a:after
{
  font-size        : 80%;
  content          : " \2039" attr(href) "\203A";
}
center.note
{
  font-size        : 80%;
  width            : auto;
}
.serif
{
  font-family      : times new roman, serif;
  font-size        : 120%;
}
p
{
  text-align       : justify;
}
p.r
{
  text-align       : right;
}
pre
{
  font-family      : lucida console, courier;
  text-indent      : 0em;
}
.codepad, .cpp, .pascal, .inc, .asp, .xml, .html4strict
{
  padding          : 1em 1em 1em 2em;
  font-size        : 90%;
  border           : 1px dashed gray;
}

ul.formatted
{
  list-style-type : none;
}

ul.formatted li
{
  text-indent     :-45px;
}

ul.formatted li:before
{
  content         : attr(before);
  width           : 40px;
  display         : inline-block;
  text-align      : right;
  padding-right   : 5px;
}