gitweb.ps.run Git - ps-cgit/blob - filters/html-converters/md2html

   1 #!/usr/bin/env python3
   2 import markdown
   3 import sys
   4 import io
   5 from pygments.formatters import HtmlFormatter
   6 sys.stdin = io.TextIOWrapper(sys.stdin.buffer, encoding='utf-8')
   7 sys.stdout = io.TextIOWrapper(sys.stdout.buffer, encoding='utf-8')
   8 sys.stdout.write('''
   9 <style>
  10 .markdown-body {
  11     font-size: 14px;
  12     line-height: 1.6;
  13     overflow: hidden;
  14 }
  15 .markdown-body>*:first-child {
  16     margin-top: 0 !important;
  17 }
  18 .markdown-body>*:last-child {
  19     margin-bottom: 0 !important;
  20 }
  21 .markdown-body a.absent {
  22     color: #c00;
  23 }
  24 .markdown-body a.anchor {
  25     display: block;
  26     padding-left: 30px;
  27     margin-left: -30px;
  28     cursor: pointer;
  29     position: absolute;
  30     top: 0;
  31     left: 0;
  32     bottom: 0;
  33 }
  34 .markdown-body h1, .markdown-body h2, .markdown-body h3, .markdown-body h4, .markdown-body h5, .markdown-body h6 {
  35     margin: 20px 0 10px;
  36     padding: 0;
  37     font-weight: bold;
  38     -webkit-font-smoothing: antialiased;
  39     cursor: text;
  40     position: relative;
  41 }
  42 .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 {
  43     display: none;
  44     color: #000;
  45 }
  46 .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 {
  47     text-decoration: none;
  48     line-height: 1;
  49     padding-left: 0;
  50     margin-left: -22px;
  51     top: 15%}
  52 .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 {
  53     display: inline-block;
  54 }
  55 .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 {
  56     font-size: inherit;
  57 }
  58 .markdown-body h1 {
  59     font-size: 28px;
  60     color: #000;
  61 }
  62 .markdown-body h2 {
  63     font-size: 24px;
  64     border-bottom: 1px solid #ccc;
  65     color: #000;
  66 }
  67 .markdown-body h3 {
  68     font-size: 18px;
  69 }
  70 .markdown-body h4 {
  71     font-size: 16px;
  72 }
  73 .markdown-body h5 {
  74     font-size: 14px;
  75 }
  76 .markdown-body h6 {
  77     color: #777;
  78     font-size: 14px;
  79 }
  80 .markdown-body p, .markdown-body blockquote, .markdown-body ul, .markdown-body ol, .markdown-body dl, .markdown-body table, .markdown-body pre {
  81     margin: 15px 0;
  82 }
  83 .markdown-body hr {
  84     background: transparent url("/dirty-shade.png") repeat-x 0 0;
  85     border: 0 none;
  86     color: #ccc;
  87     height: 4px;
  88     padding: 0;
  89 }
  90 .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 {
  91     margin-top: 0;
  92     padding-top: 0;
  93 }
  94 .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 {
  95     margin-top: 0;
  96     padding-top: 0;
  97 }
  98 .markdown-body h1+p, .markdown-body h2+p, .markdown-body h3+p, .markdown-body h4+p, .markdown-body h5+p, .markdown-body h6+p {
  99     margin-top: 0;
 100 }
 101 .markdown-body li p.first {
 102     display: inline-block;
 103 }
 104 .markdown-body ul, .markdown-body ol {
 105     padding-left: 30px;
 106 }
 107 .markdown-body ul.no-list, .markdown-body ol.no-list {
 108     list-style-type: none;
 109     padding: 0;
 110 }
 111 .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 {
 112     margin-top: 0px;
 113 }
 114 .markdown-body ul li p:last-of-type, .markdown-body ol li p:last-of-type {
 115     margin-bottom: 0;
 116 }
 117 .markdown-body ul ul, .markdown-body ul ol, .markdown-body ol ol, .markdown-body ol ul {
 118     margin-bottom: 0;
 119 }
 120 .markdown-body dl {
 121     padding: 0;
 122 }
 123 .markdown-body dl dt {
 124     font-size: 14px;
 125     font-weight: bold;
 126     font-style: italic;
 127     padding: 0;
 128     margin: 15px 0 5px;
 129 }
 130 .markdown-body dl dt:first-child {
 131     padding: 0;
 132 }
 133 .markdown-body dl dt>:first-child {
 134     margin-top: 0px;
 135 }
 136 .markdown-body dl dt>:last-child {
 137     margin-bottom: 0px;
 138 }
 139 .markdown-body dl dd {
 140     margin: 0 0 15px;
 141     padding: 0 15px;
 142 }
 143 .markdown-body dl dd>:first-child {
 144     margin-top: 0px;
 145 }
 146 .markdown-body dl dd>:last-child {
 147     margin-bottom: 0px;
 148 }
 149 .markdown-body blockquote {
 150     border-left: 4px solid #DDD;
 151     padding: 0 15px;
 152     color: #777;
 153 }
 154 .markdown-body blockquote>:first-child {
 155     margin-top: 0px;
 156 }
 157 .markdown-body blockquote>:last-child {
 158     margin-bottom: 0px;
 159 }
 160 .markdown-body table th {
 161     font-weight: bold;
 162 }
 163 .markdown-body table th, .markdown-body table td {
 164     border: 1px solid #ccc;
 165     padding: 6px 13px;
 166 }
 167 .markdown-body table tr {
 168     border-top: 1px solid #ccc;
 169     background-color: #fff;
 170 }
 171 .markdown-body table tr:nth-child(2n) {
 172     background-color: #f8f8f8;
 173 }
 174 .markdown-body img {
 175     max-width: 100%;
 176     -moz-box-sizing: border-box;
 177     box-sizing: border-box;
 178 }
 179 .markdown-body span.frame {
 180     display: block;
 181     overflow: hidden;
 182 }
 183 .markdown-body span.frame>span {
 184     border: 1px solid #ddd;
 185     display: block;
 186     float: left;
 187     overflow: hidden;
 188     margin: 13px 0 0;
 189     padding: 7px;
 190     width: auto;
 191 }
 192 .markdown-body span.frame span img {
 193     display: block;
 194     float: left;
 195 }
 196 .markdown-body span.frame span span {
 197     clear: both;
 198     color: #333;
 199     display: block;
 200     padding: 5px 0 0;
 201 }
 202 .markdown-body span.align-center {
 203     display: block;
 204     overflow: hidden;
 205     clear: both;
 206 }
 207 .markdown-body span.align-center>span {
 208     display: block;
 209     overflow: hidden;
 210     margin: 13px auto 0;
 211     text-align: center;
 212 }
 213 .markdown-body span.align-center span img {
 214     margin: 0 auto;
 215     text-align: center;
 216 }
 217 .markdown-body span.align-right {
 218     display: block;
 219     overflow: hidden;
 220     clear: both;
 221 }
 222 .markdown-body span.align-right>span {
 223     display: block;
 224     overflow: hidden;
 225     margin: 13px 0 0;
 226     text-align: right;
 227 }
 228 .markdown-body span.align-right span img {
 229     margin: 0;
 230     text-align: right;
 231 }
 232 .markdown-body span.float-left {
 233     display: block;
 234     margin-right: 13px;
 235     overflow: hidden;
 236     float: left;
 237 }
 238 .markdown-body span.float-left span {
 239     margin: 13px 0 0;
 240 }
 241 .markdown-body span.float-right {
 242     display: block;
 243     margin-left: 13px;
 244     overflow: hidden;
 245     float: right;
 246 }
 247 .markdown-body span.float-right>span {
 248     display: block;
 249     overflow: hidden;
 250     margin: 13px auto 0;
 251     text-align: right;
 252 }
 253 .markdown-body code, .markdown-body tt {
 254     margin: 0 2px;
 255     padding: 0px 5px;
 256     border: 1px solid #eaeaea;
 257     background-color: #f8f8f8;
 258     border-radius: 3px;
 259 }
 260 .markdown-body code {
 261     white-space: nowrap;
 262 }
 263 .markdown-body pre>code {
 264     margin: 0;
 265     padding: 0;
 266     white-space: pre;
 267     border: none;
 268     background: transparent;
 269 }
 270 .markdown-body .highlight pre, .markdown-body pre {
 271     background-color: #f8f8f8;
 272     border: 1px solid #ccc;
 273     font-size: 13px;
 274     line-height: 19px;
 275     overflow: auto;
 276     padding: 6px 10px;
 277     border-radius: 3px;
 278 }
 279 .markdown-body pre code, .markdown-body pre tt {
 280     margin: 0;
 281     padding: 0;
 282     background-color: transparent;
 283     border: none;
 284 }
 285 ''')
 286 sys.stdout.write(HtmlFormatter(style='pastie').get_style_defs('.highlight'))
 287 sys.stdout.write('''
 288 </style>
 289 ''')
 290 sys.stdout.write("<div class='markdown-body'>")
 291 sys.stdout.flush()
 292 # Note: you may want to run this through bleach for sanitization
 293 markdown.markdownFromFile(output_format="html5", extensions=["markdown.extensions.fenced_code", "markdown.extensions.codehilite", "markdown.extensions.tables"], extension_configs={"markdown.extensions.codehilite":{"css_class":"highlight"}})
 294 sys.stdout.write("</div>")