diff --git a/docs/_includes/head.html b/docs/_includes/head.html index 9b7f70e9..95015bd4 100644 --- a/docs/_includes/head.html +++ b/docs/_includes/head.html @@ -16,6 +16,5 @@ - diff --git a/docs/_sass/_prettify.scss b/docs/_sass/_prettify.scss new file mode 100644 index 00000000..3c18a86c --- /dev/null +++ b/docs/_sass/_prettify.scss @@ -0,0 +1,47 @@ +.com { + color: #999; +} +.lit { + color: #195f91; +} +.pun, .opn, .clo { + color: #93a1a1; +} +.fun { + color: #dc322f; +} +.str, .atv { + color: #C7254E; +} +.kwd, .prettyprint .tag { + color: #2F6F9F; +} +.typ, .atn, .dec, .var { + /*color: teal;*/ + color: #428BCA; +} +.pln { + color: #333; +} + +.prettyprint { + padding: 9px 14px; + margin-bottom: 20px; + margin-top: 20px; + 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 -12px; +} +ol.linenums li { + padding-left: 12px; + color: #bebec5; + line-height: 18px; +} diff --git a/docs/vendor/css/prettify.css b/docs/vendor/css/prettify.css deleted file mode 100644 index dca5d032..00000000 --- a/docs/vendor/css/prettify.css +++ /dev/null @@ -1,30 +0,0 @@ -.com { color: #93a1a1; } -.lit { color: #195f91; } -.pun, .opn, .clo { color: #93a1a1; } -.fun { color: #dc322f; } -.str, .atv { color: #D14; } -.kwd, .linenums .tag { color: #1e347b; } -.typ, .atn, .dec, .var { color: teal; } -.pln { color: #48484c; } - -.prettyprint { - padding: 9px 14px; - margin-bottom: 14px; - background-color: #f7f7f9; - border: 1px solid #e1e1e8; -} -.prettyprint.linenums { - -webkit-box-shadow: inset 48px 0 0 #fbfbfc, inset 49px 0 0 #ececf0; - -moz-box-shadow: inset 48px 0 0 #fbfbfc, inset 49px 0 0 #ececf0; - box-shadow: inset 48px 0 0 #fbfbfc, inset 49px 0 0 #ececf0; -} - -/* Specify class=linenums on a pre to get line numbering */ -ol.linenums { - margin: 0; -} -ol.linenums li { - padding-left: 4px; - color: #bebec5; - line-height: 18px; -}