From c051491717d6eaedf9ee9377f73a63274ec430b3 Mon Sep 17 00:00:00 2001
From: Max Goodman <max@reddit.com>
Date: Thu, 29 Sep 2011 18:13:11 -0700
Subject: [PATCH] Add an &nbsp; separating pi from the server info line.

---
 r2/r2/public/static/css/reddit.css | 2 +-
 r2/r2/templates/redditfooter.html  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/r2/r2/public/static/css/reddit.css b/r2/r2/public/static/css/reddit.css
index 93e210af0..5d73fcb90 100644
--- a/r2/r2/public/static/css/reddit.css
+++ b/r2/r2/public/static/css/reddit.css
@@ -1986,7 +1986,7 @@ label + #moresearchinfo {
 .bottommenu { color: gray; font-size: smaller; clear: both}
 .bottommenu a { color: gray; text-decoration: underline;   }
 .bottommenu.serverinfo { text-align:right; padding:5px; }
-.bottommenu.serverinfo .icon { color:#a0a0a0; font:1.5em serif; padding:0 4px; }
+.bottommenu.serverinfo .icon { color:#a0a0a0; font:1.5em serif; padding:0 2px; }
 .bottommenu.serverinfo .content { display:none; }
 .bottommenu.serverinfo:hover .content { display:inline; }
 
diff --git a/r2/r2/templates/redditfooter.html b/r2/r2/templates/redditfooter.html
index 4ba962c05..61d86f1a5 100644
--- a/r2/r2/templates/redditfooter.html
+++ b/r2/r2/templates/redditfooter.html
@@ -54,5 +54,5 @@
     dict(year=datetime.datetime.now().timetuple()[0])}
   </p>
   <p class="bottommenu">REDDIT and the ALIEN Logo are registered trademarks of Advance Magazine Publishers Inc.</p>
-  <p class="bottommenu serverinfo"><span class="icon">&pi;</span><span class="content">Rendered by PID ${g.reddit_pid} on ${g.reddit_host} running ${g.short_version}.</span></p>
+  <p class="bottommenu serverinfo"><span class="icon">&pi;</span>&nbsp<span class="content">Rendered by PID ${g.reddit_pid} on ${g.reddit_host} running ${g.short_version}.</span></p>
 </div>