body { font-family: sans-serif; font-size: 0.85em; color: #101010; } h1, h2, h3, h4, h5, h6 { margin-top: 0; font-weight: bold; } h1 { font-size: 1.5em; } h2 { font-size: 1.4em; } h3 { font-size: 1.2em; } h4 { font-size: 1.1em; } h5 { font-size: 1.0em; } dfn { font-weight: normal; font-size: 0.9em; } table { border-collapse: collapse; } tr, td, th { border: 1px solid #e0e0ff; padding: 3px; } th { background-color: #f0f0ff; text-align: left; } hr { border: none; background-color: #cccccc; height: 1px; } ul, li { margin-top: 0; } div.clear { clear: both; } div.variable-declaration { padding-left: 2em; } div.variable-description { margin-bottom: 1em; } h3.section-variables { margin-top: 2em; } h4.variable-title { margin-bottom: 0; } div#menu { float: left; background-color: #f0f0ff; margin: 0; padding: 0; border: 1px solid #e0e0ff; width: 11.5em; } #menu ul { list-style-type: none; margin-bottom: 0.5em; padding-left: 1em; } #menu ul li { margin-left: 0; } div.menu-title { background-color: #e0e0ff; color: #000000; font-weight: bold; padding: 2px; } div#content { margin-top: 0; padding-top: 0; margin-left: 12.5em; } div#copy { margin-top: 2.5em; font-size: 0.7em; text-align: center; font-size: bold; } a:link { font-weight: bold; color: #004080; text-decoration: none; } a:visited { font-weight:bold; color: #006699; text-decoration: none; } a:hover { text-decoration:underline; }