diff options
| author | Mark Otto <markotto@twitter.com> | 2012-08-20 10:01:24 +0400 |
|---|---|---|
| committer | Mark Otto <markotto@twitter.com> | 2012-08-20 10:01:24 +0400 |
| commit | a667fd93aba8e947f94af973518b7dce25c08765 (patch) | |
| tree | b9b474a86ea26cb1a158b1b7976d49d0d1840eef /docs/assets/js/google-code-prettify | |
| parent | 4e979f084d0a0942cb820ca54786ad2b99e4acff (diff) | |
pre font-size increase; revert static top navbar, undo contents section for now
Diffstat (limited to 'docs/assets/js/google-code-prettify')
| -rw-r--r-- | docs/assets/js/google-code-prettify/prettify.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/assets/js/google-code-prettify/prettify.css b/docs/assets/js/google-code-prettify/prettify.css index 1b800c90c6..d437aff62b 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 |