body    { font-size: 14px;	line-height: 140%;	background-color:#000000 ; margin-top:0px }
a:link { font-weight: normal; text-decoration:none; color: #ff9900 }
a:visited { font-weight: normal; text-decoration:none; color: #ff9900 }
a:active {font-weight: normal; color:#660066 }
a:hover{ font-weight: normal; text-decoration:underline; color:#DD0000 }
img.bl0 { border-width: 0px ; border-color:#ff9900 }
img.bl2 { border-width: 2px ; border-color:#ff9900 }
img.bn0 { border-width: 0px ; border-color:#ffffff }
img.bn2 { border-width: 2px ; border-color:#ffffff }
p.title {  font-size: 14px;  font-weight: bold; }
p.column {  font-size: 14px;  color:#222222; line-height: 18px; }
p.msg { font-size: 12px;  color:#aaaaaa; }
li { font-size: 12px; }
h2{ font-size: 24px; }
h3{ font-size: 18px; }
.small1{  font-size: 12px; line-height: 140%; }
.small2{  font-size: 10px; line-height: 140%; }
.small3{  font-size: 9px; line-height: 140%; }
.med{  font-size: 14px; line-height: 140%; }
.big{  font-size: 18px; line-height: 140%; }
span.name { font-size: 10px; color: #aaaaaa }
span.update { font-size: 10px; color: #ffffff }
strong.keyword { color: red; }
p.example      { text-indent: 1em; color: lime; font-weight: bold; font-family: monospace; }
code           { color: lime; font-family: monospace; }
code.example   { color: lime; font-weight: bold; font-family: monospace; }
code.operator  { color: lime; font-family: monospace; font-weight: bold; }