From e1988c7d53c0f655bf061b9089765b7dcec99e46 Mon Sep 17 00:00:00 2001 From: John Scipione Date: Sun, 23 Dec 2012 12:05:03 -0500 Subject: [PATCH] Reduce font size of code blocks to 13px --- docs/user/book.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/user/book.css b/docs/user/book.css index 649b285599..e5d0fc4e3d 100644 --- a/docs/user/book.css +++ b/docs/user/book.css @@ -480,7 +480,7 @@ div.fragment pre.fragment { font-family: "Deja Vu Mono", Courier, "Courier New", monospace, fixed; font-weight: normal; font-style: normal; - font-size: 0.9em; + font-size: 13px; line-height: 1.3; } div.fragment pre.fragment a.code {