diff options
Diffstat (limited to 'coding-now/static/css/github-prettify-theme.css')
-rw-r--r-- | coding-now/static/css/github-prettify-theme.css | 151 |
1 files changed, 0 insertions, 151 deletions
diff --git a/coding-now/static/css/github-prettify-theme.css b/coding-now/static/css/github-prettify-theme.css deleted file mode 100644 index 0854811..0000000 --- a/coding-now/static/css/github-prettify-theme.css +++ /dev/null @@ -1,151 +0,0 @@ -/* GitHub Theme */ -.prettyprint { - background: #fff; - font-family: Menlo, 'Bitstream Vera Sans Mono', 'DejaVu Sans Mono', Monaco, Consolas, monospace; - font-size: 1.2rem; - padding: 2.5rem 3rem; - -webkit-font-smoothing: antialiased; -} - -.pln { - color: #333333; -} - -@media screen { - .str { - color: #dd1144; - } - - .kwd { - color: #333333; - } - - .com { - color: #999988; - } - - .typ { - color: #445588; - } - - .lit { - color: #445588; - } - - .pun { - color: #333333; - } - - .opn { - color: #333333; - } - - .clo { - color: #333333; - } - - .tag { - color: navy; - } - - .atn { - color: teal; - } - - .atv { - color: #dd1144; - } - - .dec { - color: #333333; - } - - .var { - color: teal; - } - - .fun { - color: #990000; - } -} - -@media print, projection { - .str { - color: #006600; - } - - .kwd { - color: #006; - font-weight: bold; - } - - .com { - color: #600; - font-style: italic; - } - - .typ { - color: #404; - font-weight: bold; - } - - .lit { - color: #004444; - } - - .pun, .opn, .clo { - color: #444400; - } - - .tag { - color: #006; - font-weight: bold; - } - - .atn { - color: #440044; - } - - .atv { - color: #006600; - } -} - -/* Specify class=linenums on a pre to get line numbering */ -ol.linenums { - margin-top: 0; - margin-bottom: 0; -} - -/* IE indents via margin-left */ -li.L0, -li.L1, -li.L2, -li.L3, -li.L4, -li.L5, -li.L6, -li.L7, -li.L8, -li.L9 { - /* */ -} - -/* Alternate shading for lines */ -li.L1, -li.L3, -li.L5, -li.L7, -li.L9 { - /* */ -} - -/* My additional styles */ - -/*li.L0, li.L1, li.L2, li.L3, -li.L5, li.L6, li.L7, li.L8 -{ list-style-type: decimal !important }*/ - -.prettyprint li { - margin-bottom: .3rem; -}
\ No newline at end of file |