| 2561 | html = _HTMLDoc() |
| 2562 | |
| 2563 | def html_navbar(): |
| 2564 | version = html.escape("%s [%s, %s]" % (platform.python_version(), |
| 2565 | platform.python_build()[0], |
| 2566 | platform.python_compiler())) |
| 2567 | return """ |
| 2568 | <div style='float:left'> |
| 2569 | Python %s<br>%s |
| 2570 | </div> |
| 2571 | <div style='float:right'> |
| 2572 | <div style='text-align:center'> |
| 2573 | <a href="index.html">Module Index</a> |
| 2574 | : <a href="topics.html">Topics</a> |
| 2575 | : <a href="keywords.html">Keywords</a> |
| 2576 | </div> |
| 2577 | <div> |
| 2578 | <form action="get" style='display:inline;'> |
| 2579 | <input type=text name=key size=15> |
| 2580 | <input type=submit value="Get"> |
| 2581 | </form> |
| 2582 | <form action="search" style='display:inline;'> |
| 2583 | <input type=text name=key size=15> |
| 2584 | <input type=submit value="Search"> |
| 2585 | </form> |
| 2586 | </div> |
| 2587 | </div> |
| 2588 | """ % (version, html.escape(platform.platform(terse=True))) |
| 2589 | |
| 2590 | def html_index(): |
| 2591 | """Module Index page.""" |