123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308 |
- #!/usr/bin/env python3
- import markdown
- import sys
- import io
- from pygments.formatters import HtmlFormatter
- from markdown.extensions.toc import TocExtension
- sys.stdin = io.TextIOWrapper(sys.stdin.buffer, encoding='utf-8')
- sys.stdout = io.TextIOWrapper(sys.stdout.buffer, encoding='utf-8')
- sys.stdout.write('''
- <style nonce="f4eb1bb">
- .markdown-body {
- font-size: 14px;
- line-height: 1.6;
- overflow: hidden;
- }
- .markdown-body>*:first-child {
- margin-top: 0 !important;
- }
- .markdown-body>*:last-child {
- margin-bottom: 0 !important;
- }
- .markdown-body a.absent {
- color: var(--text);
- }
- .markdown-body a.anchor {
- display: block;
- padding-left: 30px;
- margin-left: -30px;
- cursor: pointer;
- position: absolute;
- top: 0;
- left: 0;
- bottom: 0;
- }
- .markdown-body h1, .markdown-body h2, .markdown-body h3, .markdown-body h4, .markdown-body h5, .markdown-body h6 {
- margin: 20px 0 10px;
- padding: 0;
- font-weight: bold;
- -webkit-font-smoothing: antialiased;
- cursor: text;
- position: relative;
- }
- .markdown-body h1 .mini-icon-link, .markdown-body h2 .mini-icon-link, .markdown-body h3 .mini-icon-link, .markdown-body h4 .mini-icon-link, .markdown-body h5 .mini-icon-link, .markdown-body h6 .mini-icon-link {
- display: none;
- color: var(--text);
- }
- .markdown-body h1:hover a.anchor, .markdown-body h2:hover a.anchor, .markdown-body h3:hover a.anchor, .markdown-body h4:hover a.anchor, .markdown-body h5:hover a.anchor, .markdown-body h6:hover a.anchor {
- text-decoration: none;
- line-height: 1;
- padding-left: 0;
- margin-left: -22px;
- top: 15%;
- }
- .markdown-body h1:hover a.anchor .mini-icon-link, .markdown-body h2:hover a.anchor .mini-icon-link, .markdown-body h3:hover a.anchor .mini-icon-link, .markdown-body h4:hover a.anchor .mini-icon-link, .markdown-body h5:hover a.anchor .mini-icon-link, .markdown-body h6:hover a.anchor .mini-icon-link {
- display: inline-block;
- }
- div#cgit .markdown-body h1 a.toclink, div#cgit .markdown-body h2 a.toclink, div#cgit .markdown-body h3 a.toclink, div#cgit .markdown-body h4 a.toclink, div#cgit .markdown-body h5 a.toclink, div#cgit .markdown-body h6 a.toclink {
- color: var(--text);
- }
- .markdown-body h1 tt, .markdown-body h1 code, .markdown-body h2 tt, .markdown-body h2 code, .markdown-body h3 tt, .markdown-body h3 code, .markdown-body h4 tt, .markdown-body h4 code, .markdown-body h5 tt, .markdown-body h5 code, .markdown-body h6 tt, .markdown-body h6 code {
- font-size: inherit;
- }
- .markdown-body h1 {
- font-size: 28px;
- color: var(--text);
- }
- .markdown-body h2 {
- font-size: 24px;
- border-bottom: 1px solid #ccc;
- color: var(--text);
- }
- .markdown-body h3 {
- font-size: 18px;
- }
- .markdown-body h4 {
- font-size: 16px;
- }
- .markdown-body h5 {
- font-size: 14px;
- }
- .markdown-body h6 {
- color: var(--text);
- font-size: 14px;
- }
- .markdown-body p, .markdown-body blockquote, .markdown-body ul, .markdown-body ol, .markdown-body dl, .markdown-body table, .markdown-body pre {
- margin: 15px 0;
- }
- .markdown-body hr {
- background: transparent url("/dirty-shade.png") repeat-x 0 0;
- border: 0 none;
- color: var(--text);
- height: 4px;
- padding: 0;
- }
- .markdown-body>h2:first-child, .markdown-body>h1:first-child, .markdown-body>h1:first-child+h2, .markdown-body>h3:first-child, .markdown-body>h4:first-child, .markdown-body>h5:first-child, .markdown-body>h6:first-child {
- margin-top: 0;
- padding-top: 0;
- }
- .markdown-body a:first-child h1, .markdown-body a:first-child h2, .markdown-body a:first-child h3, .markdown-body a:first-child h4, .markdown-body a:first-child h5, .markdown-body a:first-child h6 {
- margin-top: 0;
- padding-top: 0;
- }
- .markdown-body h1+p, .markdown-body h2+p, .markdown-body h3+p, .markdown-body h4+p, .markdown-body h5+p, .markdown-body h6+p {
- margin-top: 0;
- }
- .markdown-body li p.first {
- display: inline-block;
- }
- .markdown-body ul, .markdown-body ol {
- padding-left: 30px;
- }
- .markdown-body ul.no-list, .markdown-body ol.no-list {
- list-style-type: none;
- padding: 0;
- }
- .markdown-body ul li>:first-child, .markdown-body ul li ul:first-of-type, .markdown-body ul li ol:first-of-type, .markdown-body ol li>:first-child, .markdown-body ol li ul:first-of-type, .markdown-body ol li ol:first-of-type {
- margin-top: 0px;
- }
- .markdown-body ul li p:last-of-type, .markdown-body ol li p:last-of-type {
- margin-bottom: 0;
- }
- .markdown-body ul ul, .markdown-body ul ol, .markdown-body ol ol, .markdown-body ol ul {
- margin-bottom: 0;
- }
- .markdown-body dl {
- padding: 0;
- }
- .markdown-body dl dt {
- font-size: 14px;
- font-weight: bold;
- font-style: italic;
- padding: 0;
- margin: 15px 0 5px;
- }
- .markdown-body dl dt:first-child {
- padding: 0;
- }
- .markdown-body dl dt>:first-child {
- margin-top: 0px;
- }
- .markdown-body dl dt>:last-child {
- margin-bottom: 0px;
- }
- .markdown-body dl dd {
- margin: 0 0 15px;
- padding: 0 15px;
- }
- .markdown-body dl dd>:first-child {
- margin-top: 0px;
- }
- .markdown-body dl dd>:last-child {
- margin-bottom: 0px;
- }
- .markdown-body blockquote {
- border-left: 4px solid #DDD;
- padding: 0 15px;
- color: var(--text);
- }
- .markdown-body blockquote>:first-child {
- margin-top: 0px;
- }
- .markdown-body blockquote>:last-child {
- margin-bottom: 0px;
- }
- .markdown-body table th {
- font-weight: bold;
- }
- .markdown-body table th, .markdown-body table td {
- border: 1px solid #ccc;
- padding: 6px 13px;
- }
- .markdown-body table tr {
- border-top: 1px solid #ccc;
- background-color: var(--background);
- }
- .markdown-body table tr:nth-child(2n) {
- background-color: var(--background);
- }
- .markdown-body img {
- max-width: 100%;
- -moz-box-sizing: border-box;
- box-sizing: border-box;
- }
- .markdown-body span.frame {
- display: block;
- overflow: hidden;
- }
- .markdown-body span.frame>span {
- border: 1px solid #ddd;
- display: block;
- float: left;
- overflow: hidden;
- margin: 13px 0 0;
- padding: 7px;
- width: auto;
- }
- .markdown-body span.frame span img {
- display: block;
- float: left;
- }
- .markdown-body span.frame span span {
- clear: both;
- color: var(--text);
- display: block;
- padding: 5px 0 0;
- }
- .markdown-body span.align-center {
- display: block;
- overflow: hidden;
- clear: both;
- }
- .markdown-body span.align-center>span {
- display: block;
- overflow: hidden;
- margin: 13px auto 0;
- text-align: center;
- }
- .markdown-body span.align-center span img {
- margin: 0 auto;
- text-align: center;
- }
- .markdown-body span.align-right {
- display: block;
- overflow: hidden;
- clear: both;
- }
- .markdown-body span.align-right>span {
- display: block;
- overflow: hidden;
- margin: 13px 0 0;
- text-align: right;
- }
- .markdown-body span.align-right span img {
- margin: 0;
- text-align: right;
- }
- .markdown-body span.float-left {
- display: block;
- margin-right: 13px;
- overflow: hidden;
- float: left;
- }
- .markdown-body span.float-left span {
- margin: 13px 0 0;
- }
- .markdown-body span.float-right {
- display: block;
- margin-left: 13px;
- overflow: hidden;
- float: right;
- }
- .markdown-body span.float-right>span {
- display: block;
- overflow: hidden;
- margin: 13px auto 0;
- text-align: right;
- }
- .markdown-body code, .markdown-body tt {
- margin: 0 2px;
- padding: 0px 5px;
- border: 1px solid #eaeaea;
- background-color: var(--background);
- border-radius: 3px;
- }
- .markdown-body code {
- white-space: nowrap;
- }
- .markdown-body pre>code {
- margin: 0;
- padding: 0;
- white-space: pre;
- border: none;
- background: transparent;
- }
- .markdown-body .highlight pre, .markdown-body pre {
- background-color: var(--background);
- border: 1px solid #ccc;
- font-size: 13px;
- line-height: 19px;
- overflow: auto;
- padding: 6px 10px;
- border-radius: 3px;
- }
- .markdown-body pre code, .markdown-body pre tt {
- margin: 0;
- padding: 0;
- background-color: transparent;
- border: none;
- }
- ''')
- sys.stdout.write(HtmlFormatter(style='monokai').get_style_defs('.highlight'))
- sys.stdout.write('''
- </style>
- ''')
- sys.stdout.write("<div class='markdown-body'>")
- sys.stdout.flush()
- # Note: you may want to run this through bleach for sanitization
- markdown.markdownFromFile(
- output_format="html5",
- extensions=[
- "markdown.extensions.fenced_code",
- "markdown.extensions.codehilite",
- "markdown.extensions.tables",
- TocExtension(anchorlink=True)],
- extension_configs={
- "markdown.extensions.codehilite": {"css_class": "highlight"}})
- sys.stdout.write("</div>")
|