| 2465 | html = _HTMLDoc() |
| 2466 | |
| 2467 | def html_navbar(): |
| 2468 | version = html.escape("%s [%s, %s]" % (platform.python_version(), |
| 2469 | platform.python_build()[0], |
| 2470 | platform.python_compiler())) |
| 2471 | return """ |
| 2472 | <div style='float:left'> |
| 2473 | Python %s<br>%s |
| 2474 | </div> |
| 2475 | <div style='float:right'> |
| 2476 | <div style='text-align:center'> |
| 2477 | <a href="index.html">Module Index</a> |
| 2478 | : <a href="topics.html">Topics</a> |
| 2479 | : <a href="keywords.html">Keywords</a> |
| 2480 | </div> |
| 2481 | <div> |
| 2482 | <form action="get" style='display:inline;'> |
| 2483 | <input type=text name=key size=15> |
| 2484 | <input type=submit value="Get"> |
| 2485 | </form> |
| 2486 | <form action="search" style='display:inline;'> |
| 2487 | <input type=text name=key size=15> |
| 2488 | <input type=submit value="Search"> |
| 2489 | </form> |
| 2490 | </div> |
| 2491 | </div> |
| 2492 | """ % (version, html.escape(platform.platform(terse=True))) |
| 2493 | |
| 2494 | def html_index(): |
| 2495 | """Module Index page.""" |