A{ text-decoration: none; color: blue; }
A:hover{ text-decoration: underline; color: blue; }
HR{ background-color: gray; height: 1px; }
.header-main-link{ font-family: Arial; font-size: 10pt; font-weight: bold; }
.header-sub-link{ font-family: Arial; font-size: 8pt; }
.header-main-cell{ background-color: #EFEFEF; border: solid 1px gray; width: 90%; padding: 5; }
.header-sub-cell{ padding: 5px; }
.header-title{ font-family: Arial; font-size: 10pt; font-weight: bold; }
.overview-title{ font-family: Arial; font-size: 10pt; font-weight: bold; }
.overview-item{ font-family: Arial; font-size: 10pt; }
.overview-table{ width: 100%; }
.overview-header{ font-family: Arial; font-size: 10pt; background-color: #EFEFEF; border: solid 1px gray; text-align: left; padding: 5px; }
.overview-row{ font-family: Arial; font-size: 10pt; }
.overview-name-cell{ border-bottom: solid 1px #EFEFEF; }
.overview-description-cell{ border-bottom: solid 1px #EFEFEF; }
.detail-title{ font-family: Arial; font-size: 15pt; font-weight: bold; }
.detail-name{ font-family: Arial; font-size: 10pt; font-weight: bold; background-color: #EFEFEF; border: solid 1px gray; padding: 2px; }
.detail-summary{ font-family: Arial; font-size: 10pt; padding-left: 10px; }
.detail-parameter{ font-family: Arial; font-size: 10pt; font-weight: bold; background-color: #EFEFEF; border: solid 1px gray; padding: 2px; }
.detail-parameter-name{ font-family: Arial; font-size: 10pt; padding-left: 10px; }
.detail-parameter-description{ font-family: Arial; font-size: 10pt; }
.detail-returns{ font-family: Arial; font-size: 10pt; font-weight: bold; background-color: #EFEFEF; border: solid 1px gray; padding: 2px; }
.detail-returns-description{ font-family: Arial; font-size: 10pt; padding-left: 10px; }
.detail-example{ font-family: Arial; font-size: 10pt; font-weight: bold; background-color: #EFEFEF; border: solid 1px gray; padding: 2px; }
.detail-example-description{ font-family: courier new; font-size: 10pt; border: solid 1px black; padding: 10px; padding-left: 10px; }
.index-title{ font-family: Arial; font-size: 12pt; font-weight: bold; }
.index-item{ font-family: Arial; font-size: 10pt; padding: 4px; }
.index-header{ font-family: Arial; font-size: 10pt; }
.highlight-comment{ color: green; }
.highlight-keyword{ color: blue; }
.highlight-comment .highlight-keyword{ color: green; }
.previous-letter{ font-family: Arial; font-size: 8pt; }
.next-letter{ font-family: Arial; font-size: 8pt; }
.main-footer{ font-family: Arial; font-size: 10pt; }
.sub-footer{ font-family: Arial; font-size: 8pt; }