| Index: static/css/prettify.css
|
| diff --git a/static/css/prettify.css b/static/css/prettify.css
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..d437aff62bbbaabb783fa7acd89c9850287f1f6a
|
| --- /dev/null
|
| +++ b/static/css/prettify.css
|
| @@ -0,0 +1,30 @@
|
| +.com { color: #93a1a1; }
|
| +.lit { color: #195f91; }
|
| +.pun, .opn, .clo { color: #93a1a1; }
|
| +.fun { color: #dc322f; }
|
| +.str, .atv { color: #D14; }
|
| +.kwd, .prettyprint .tag { color: #1e347b; }
|
| +.typ, .atn, .dec, .var { color: teal; }
|
| +.pln { color: #48484c; }
|
| +
|
| +.prettyprint {
|
| + padding: 8px;
|
| + background-color: #f7f7f9;
|
| + border: 1px solid #e1e1e8;
|
| +}
|
| +.prettyprint.linenums {
|
| + -webkit-box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0;
|
| + -moz-box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0;
|
| + box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0;
|
| +}
|
| +
|
| +/* Specify class=linenums on a pre to get line numbering */
|
| +ol.linenums {
|
| + margin: 0 0 0 33px; /* IE indents via margin-left */
|
| +}
|
| +ol.linenums li {
|
| + padding-left: 12px;
|
| + color: #bebec5;
|
| + line-height: 20px;
|
| + text-shadow: 0 1px 0 #fff;
|
| +}
|
|
|