| 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; | 
| +} | 
|  |