h1           { font-family: verdana,arial,helvetica,sans-serif; font-size: x-large; letter-spacing:2pt; font-weight: bold }
h2           { font-family: verdana,arial,helvetica,sans-serif; font-size: large; font-weight: bold }
p            { font-family: verdana,arial,helvetica,sans-serif; font-size: small; }
td           { font-family: verdana,arial,helvetica,sans-serif; font-size: small; }


.Name        { font-family: verdana,arial,helvetica,sans-serif; font-size: x-large; letter-spacing:2pt; font-weight: bold }
.Title       { font-family: verdana,arial,helvetica,sans-serif; font-size: x-small; }

.Address     { font-family: verdana,arial,helvetica,sans-serif; font-size: xx-small;
               margin-top:2; margin-bottom:6; }
               
.Body        { font-family: verdana,arial,helvetica,sans-serif; font-size: small; 
               margin-top:8; margin-bottom:10; }
               
.People      { font-family: verdana,arial,helvetica,sans-serif; font-size: x-small; }

.BarHeader   { font-family: verdana,arial,helvetica,sans-serif; font-size: x-small; 
               font-weight: bold; font-style: italic;
               border-bottom-style: solid; border-bottom-width: 1 }

.BarBody     { font-family: verdana,arial,helvetica,sans-serif; font-size: x-small;  
               margin-top:2; margin-bottom:6; }

.MiniHeader  { font-family: verdana,arial,helvetica,sans-serif; font-size: small;
               font-weight: bold; color: #AA4400;
               border-bottom-style: solid; border-bottom-width: 1 }
               
.MiniBody    { font-family: verdana,arial,helvetica,sans-serif; font-size: x-small; 
               margin-top:8; margin-bottom:10; }

.Header      { font-family: verdana,arial,helvetica,sans-serif; font-size: medium;
               font-weight: bold; color: #1010A0;
               border-bottom-style: solid; border-bottom-width: 1; }
               
span.paperInfo { font-family: verdana,arial,helvetica,sans-serif; font-size: x-small }
span.paperConf { font-family: verdana,arial,helvetica,sans-serif; font-size: x-small; font-style: italic }
span.paperAuthors { font-family: verdana,arial,helvetica,sans-serif; color: #707070; font-size: x-small; font-weight: bold }
span.paperTitle { font-family: verdana,arial,helvetica,sans-serif; font-size: small; font-weight: bold }


H1 { text-align: center; }
CAPTION { font-weight: bold }
A.qindex {}
A.qindexRef {}
A.el { text-decoration: none; font-weight: bold }
A.elRef { font-weight: bold }
A.code { text-decoration: none; font-weight: normal; color: #4444ee }
A.codeRef { font-weight: normal; color: #4444ee }
A:hover { text-decoration: none; background-color: #f2f2ff }
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 }
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; }
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 }
BODY { background: white; color: black }
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 }