| 2541 | get_html_page(url) is returned. |
| 2542 | """ |
| 2543 | class _HTMLDoc(HTMLDoc): |
| 2544 | |
| 2545 | def page(self, title, contents): |
| 2546 | """Format an HTML page.""" |
| 2547 | css_path = "pydoc_data/_pydoc.css" |
| 2548 | css_link = ( |
| 2549 | '<link rel="stylesheet" type="text/css" href="%s">' % |
| 2550 | css_path) |
| 2551 | return '''\ |
| 2552 | <!DOCTYPE> |
| 2553 | <html lang="en"> |
| 2554 | <head> |
| 2555 | <meta charset="utf-8"> |
| 2556 | <title>Pydoc: %s</title> |
| 2557 | %s</head><body>%s<div style="clear:both;padding-top:.5em;">%s</div> |
| 2558 | </body></html>''' % (title, css_link, html_navbar(), contents) |
| 2559 | |
| 2560 | |
| 2561 | html = _HTMLDoc() |