| 2513 | html = _HTMLDoc() |
| 2514 | |
| 2515 | def html_navbar(): |
| 2516 | version = html.escape("%s [%s, %s]" % (platform.python_version(), |
| 2517 | platform.python_build()[0], |
| 2518 | platform.python_compiler())) |
| 2519 | return """ |
| 2520 | <div style='float:left'> |
| 2521 | Python %s<br>%s |
| 2522 | </div> |
| 2523 | <div style='float:right'> |
| 2524 | <div style='text-align:center'> |
| 2525 | <a href="index.html">Module Index</a> |
| 2526 | : <a href="topics.html">Topics</a> |
| 2527 | : <a href="keywords.html">Keywords</a> |
| 2528 | </div> |
| 2529 | <div> |
| 2530 | <form action="get" style='display:inline;'> |
| 2531 | <input type=text name=key size=15> |
| 2532 | <input type=submit value="Get"> |
| 2533 | </form> |
| 2534 | <form action="search" style='display:inline;'> |
| 2535 | <input type=text name=key size=15> |
| 2536 | <input type=submit value="Search"> |
| 2537 | </form> |
| 2538 | </div> |
| 2539 | </div> |
| 2540 | """ % (version, html.escape(platform.platform(terse=True))) |
| 2541 | |
| 2542 | def html_index(): |
| 2543 | """Module Index page.""" |