a:link    {color: blue;   text-decoration: none }
a:active  {color: blue;   text-decoration: none }
a:visited {color: purple; text-decoration: none }
a:hover   {color: blue;   text-decoration: underline }

A.copyright:hover {color: black; text-decoration: none }

A.qindex { 
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
  font-size-adjust: 0.60;
}
A.qindexRef {  
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
  font-size-adjust: 0.60;
}

dd { 
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
  font-size-adjust: 0.60;
}

dl { 
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
  font-size-adjust: 0.60;
}

H1 { 
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size : 160%;
  text-align: center;
}

H2 { 
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size : 120%;
}

H3 {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
  text-align: left;
  margin-bottom: 6pt;
}
            
.fig {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
  font-weight: bold;
  text-align: center;
}

p {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
  font-size-adjust: 0.60;
}

li {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
}

ol {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
  font-size-adjust: 0.60;
}

td {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 80%;
  font-size-adjust: 0.60;
}

th {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 80%;
  font-weight: bold;
  font-size-adjust: 0.60;
}

code {
  font-family: Courier New, Courier, monospace;
  font-size: 100%;
}

BODY {
  background: white;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
  font-size-adjust: 0.60;
  text-align: left;
  margin-left:3%;
  margin-right:3%;
}

.SmallLink {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
  font-weight: normal;
  margin-top: 3pt;
  margin-bottom: 0pt;
}

.body { 
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size : 100%;
  text-align: left;
}

.LeftHead1 {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 160%;
  text-align: left;
  margin-bottom: 12pt;
}

.LeftHead2 {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 140%;
  text-align: left;
  font-weight: lighter;
  margin-bottom: 12pt;
}

.LeftHead3 {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 140%;
  text-align: left;
  margin-bottom: 0pt;
}

.RightHead2 {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 140%;
  text-align: right;
  margin-bottom: 12pt;
}

.RightHead3 {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 140%;
  text-align: right;
  margin-bottom: 0pt;
}

.body0 {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
  font-weight: normal;
  margin-top: 3pt;
  margin-bottom: 12pt;
}

.TextCode {
  font-family: courier, monospace;
}
           
A.el { 
  font-family: courier new, courier, monospace; 
  text-decoration: none; 
  font-weight: normal; 
  font-size: 90%;
}
A.elRef { 
  font-family: courier new, courier, monospace; 
  font-weight: bold;
}
A.code { 
  font-family: courier new, courier, monospace;
  text-decoration: none; 
  font-weight: normal; 
  font-size-adjust: none;
  color: #4444ee;
}
A.codeRef { 
  font-family: courier new, courier, monospace;
  font-weight: normal; 
  color: #4444ee;
}

DL.el { 
  margin-left: -1cm;
}
DIV.fragment { 
  width: 100%; border: none; 
  background-color: #eeeeee;
}
DIV.ah { 
  background-color: gray; 
  margin-bottom: 3pt; 
  margin-top: 3pt;
}
TD.md { 
  background-color: #f2f2ff;
}
DIV.groupHeader { 
  margin-left: 16pt; 
  margin-top: 12pt; 
  margin-bottom: 6pt; 
  font-weight: bold;
}
DIV.groupText { 
  margin-left: 16pt; 
  font-style: italic; 
  font-size: smaller;
}

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