From cf7ed2625456a5e619f68408f8ebfe78f443a672 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Asbj=C3=B8rn=20Sloth=20T=C3=B8nnesen?= Date: Tue, 10 Jul 2012 19:51:16 +0000 Subject: upgrade to bootstrap 2 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Asbjørn Sloth Tønnesen --- .../bootstrap/js/google-code-prettify/prettify.css | 30 ++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 web/pub/bootstrap/js/google-code-prettify/prettify.css (limited to 'web/pub/bootstrap/js/google-code-prettify/prettify.css') diff --git a/web/pub/bootstrap/js/google-code-prettify/prettify.css b/web/pub/bootstrap/js/google-code-prettify/prettify.css new file mode 100644 index 0000000..aedd8d1 --- /dev/null +++ b/web/pub/bootstrap/js/google-code-prettify/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, .linenums .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: 18px; + text-shadow: 0 1px 0 #fff; +} \ No newline at end of file -- cgit v1.2.1