From 91b988ea45c68e2cf9d20163fb496160855aa5d8 Mon Sep 17 00:00:00 2001 From: Brian Anderson Date: Sat, 10 Mar 2012 15:26:41 -0800 Subject: [PATCH] doc: Indent preformatted text a little more --- doc/rust.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/rust.css b/doc/rust.css index e7329802c4ca..60c967eb3abf 100644 --- a/doc/rust.css +++ b/doc/rust.css @@ -19,7 +19,7 @@ h3 { font-size: 14pt; } pre { margin: 1.1em 0; - padding: .4em .4em .4em 1em; + padding: .4em .4em .4em 2em; font-size: 120%; }