body { margin-top: 1.0em; background-color: #fff; font-family: Helvetica, Arial, FreeSans, san-serif; color: #333; } a.active { color: #333; } dt { font-family:monospace; } dd { padding-bottom:10px; } .menu { font-weight:bold; } .menu a { text-decoration:none; } .menu a:hover { text-decoration:underline; } .comparison_table { font-size:12px; } .comparison_table tbody th { white-space:nowrap; text-align:right; } .comparison_table tbody td { border:1px solid #ccc; } .comparison_table ul { } #container { margin: 0 auto; width: 700px; } h1 { margin-top:0; font-size: 42px; color: #6b9412; margin-bottom: 3px; } h1 .small { font-size: 20px; color:#666; } h1 a { text-decoration: none } h2 { font-size: 1.5em; color: #6b9412; } h3 { color: #6b9412; } a { color: #6b9412; } .description { font-size: 1.2em; margin-bottom: 30px; margin-top: 30px; font-style: italic;} .download { float: right; } pre { background: #eee; color: #333; padding: 5px; } hr { border: 0; width: 80%; border-bottom: 1px solid #aaa} .footer { text-align:center; padding-top:30px; font-style: italic; } .button { text-decoration:none; display:block;margin:0 auto;width:200px;background:#6b9412;color:white;padding:8px;font-weight:bold;text-align:center; } a.button:hover { text-decoration:underline; } img { border:0px; }