h1 { font-family: "courier new"; text-align: center }
h2 { font-family: "arial"; margin-bottom: 0em; font-size:small }
h3 { font-family: "arial"; margin-bottom: 0em; font-size:x-small }
h4 { font-family: "arial"; margin-bottom: 0em; font-size:x-small; font-style: italic }

caption { font-weight: bold }

a { text-decoration: none }
a.or { margin-left: 1em; font-weight: bold; color: #c00000 }
a.qindex { }
a.qindexref { }
a.el { font-weight: bold }
a.elref { font-weight: bold }
a.code { font-weight: normal; color: #4444ee }
a.coderef { font-weight: normal; color: #4444ee }
a:hover { background-color: #ffffff }

dl.el { margin-left: -1cm }

div.fragment { width: 100%; border: none; background-color: #eeeeee }
div.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
div.groupheader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
div.grouptext { margin-left: 16px; font-style: italic; font-size: smaller }

strong { font-size: xx-small; font-weight: normal }

code { font-size: x-small; color: #003000 }
pre  { font-size: x-small; color: #000060 }

li { font-size: x-small; margin-bottom: 0.35em }

body
{
   font-family: verdana, arial;
   font-size: x-small;
   background-image: url(back.png);
}

td.md { background-color: #f2f2ff; font-weight: bold; }
td.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; }
td.mdname { background-color: #f2f2ff; font-weight: bold; color: #602020; width: 600px; }

tr
{
    font-size: x-small;
    background-color: #f8f4ea;
}

td.mouse
{
    padding-left: 1em;
    vertical-align: text-top;
    background-color: transparent;
}

tr.pictab
{
    font-size: xx-small;
    text-align: center;
    background-color: transparent;
}

tr.rule
{
    font-size: xx-small;
    background-color: transparent;
}

td.tt
{
   font-family: "courier new", courier;
   font-size: x-small;
}

td.indexkey
{ 
   background-color: #eeeeff; 
   font-weight: bold; 
   padding-right  : 10px; 
   padding-top    : 2px; 
   padding-left   : 10px; 
   padding-bottom : 2px; 
   margin-left    : 0px; 
   margin-right   : 0px; 
   margin-top     : 2px; 
   margin-bottom  : 2px;
}

td.indexvalue
{ 
   background-color: #eeeeff; 
   font-style: italic; 
   padding-right  : 10px; 
   padding-top    : 2px; 
   padding-left   : 10px; 
   padding-bottom : 2px; 
   margin-left    : 0px; 
   margin-right   : 0px; 
   margin-top     : 2px; 
   margin-bottom  : 2px;
}

span.keyword       { color: #008000 }
span.keywordtype   { color: #604020 }
span.keywordflow   { color: #e08000 }
span.comment       { color: #800000 }
span.preprocessor  { color: #806020 }
span.stringliteral { color: #002080 }
span.charliteral   { color: #008080 }