From e80f37b600d693c043d79d8f77ae4e91612bb163 Mon Sep 17 00:00:00 2001 From: Takayama Fumihiko Date: Sun, 24 Jun 2012 15:26:39 +0900 Subject: ".linenums .tag" should be ".prettyprint .tag". --- docs/assets/js/google-code-prettify/prettify.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/assets/js/google-code-prettify/prettify.css') diff --git a/docs/assets/js/google-code-prettify/prettify.css b/docs/assets/js/google-code-prettify/prettify.css index aedd8d1a9..1b800c90c 100644 --- a/docs/assets/js/google-code-prettify/prettify.css +++ b/docs/assets/js/google-code-prettify/prettify.css @@ -3,7 +3,7 @@ .pun, .opn, .clo { color: #93a1a1; } .fun { color: #dc322f; } .str, .atv { color: #D14; } -.kwd, .linenums .tag { color: #1e347b; } +.kwd, .prettyprint .tag { color: #1e347b; } .typ, .atn, .dec, .var { color: teal; } .pln { color: #48484c; } -- cgit v1.2.3 From a667fd93aba8e947f94af973518b7dce25c08765 Mon Sep 17 00:00:00 2001 From: Mark Otto Date: Sun, 19 Aug 2012 23:01:24 -0700 Subject: pre font-size increase; revert static top navbar, undo contents section for now --- docs/assets/js/google-code-prettify/prettify.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/assets/js/google-code-prettify/prettify.css') diff --git a/docs/assets/js/google-code-prettify/prettify.css b/docs/assets/js/google-code-prettify/prettify.css index 1b800c90c..d437aff62 100644 --- a/docs/assets/js/google-code-prettify/prettify.css +++ b/docs/assets/js/google-code-prettify/prettify.css @@ -21,10 +21,10 @@ /* 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; + line-height: 20px; text-shadow: 0 1px 0 #fff; } \ No newline at end of file -- cgit v1.2.3