#info {margin: 0px 20px 20px 20px; position: relative;}

#info_main {font-size: 110%; margin-left: 235px; position: relative;}
#info_main p {margin-bottom: 1em; line-height: 1.50em;}
#info_main ul {margin-bottom: 1em;}
#info_main ol {margin-bottom: 1em;}
#info_main li {line-height: 1.50em; margin-bottom: 1em;}
#info_main H1 {font-size: 150%; margin-bottom: 1em; line-height: 1.50em;}
#info_main H2 {font-size: 140%; margin-bottom: 1em; font-weight: normal; line-height: 1.50em;}
#info_main table {border-collapse: collapse; empty-cells: show; margin-bottom: 1em;}
#info_main td {margin-bottom: 1em; border: 1px solid #666666; text-align: center; padding: 1em 1em 1em 1em;}
#info_main tr.heading td {background-color: #999999;}
#info_main div.box {font-size: 90%; background-color: #DBDBDB; padding: 5px 5px 1px 5px;}
#info_main div.box p {margin-top: 0px;}
#info_main div.box strong {background-color: #EDFFD4;}

#info_main DIV.realtext {border-left: 2px solid #666666; padding-left: 10px; line-height: 1.5em;}
#info_main SPAN.highlight {background-color: #FFCC00; font-weight: bold; color: #333333;}
#info_main a.question {font-weight: bold;}
#info_main span.answer {margin-top: 0.5em; display: block; margin-left: 1em;}

DIV#info_toc {float: left; width: 220px; position: relative;}
#info_toc div.lang {font-weight: bold; margin: 5px 0px 15px 0px; position: relative;}
#info_toc ul {border-top: 1px solid gray; margin: 0px 10px 0px 0px; padding: 0px 0px 10px 0px; position: relative;}
#info_toc ul li {list-style: none; margin: 0; padding: 2px 0px 2px 0px; border-bottom: 1px solid gray; position: relative;}
#info_toc ul li a {display: block; padding: 5px 5px; position: relative;}
#info_toc ul li a#navcurrent {color: #FFFFFF;}
#info_toc ul li a:hover {background-color: #B4B4B4; color: #FFFFFF !important;}
#info_toc ul li SPAN.lessnum {display: inline; font-weight: bold;}
#info_toc ul li SPAN.section {display: block; font-weight: bold; color: #434343; padding: 20px 5px 5px 5px;}

DIV.navbar {margin: 20px 0px; border: 1px solid Gray; background-color: #FFFDDF; padding: 5px; font-size: 90%; position: relative;}
DIV.navprev {float: left; text-align: left; position: relative;}
DIV.navnext {float: right; text-align: right; position: relative;}
DIV.navbar A {}
DIV.navbar DIV.navcurrent {text-align: center; margin-left: 100px; margin-right: 100px;}