github/reddit
1
1
Fork 0
mirror of https://github.com/reddit-archive/reddit.git synced 2026-01-27 15:58:06 -05:00
Code Issues Packages Projects Releases Wiki Activity

Add an   separating pi from the server info line.

Browse Source
This commit is contained in:
Max Goodman
2011-09-29 18:13:11 -07:00
committed by Neil Williams
parent 739288fdb0
commit c051491717
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
r2/r2/public/static/css/reddit.css
View File

@@ -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; }

2
r2/r2/templates/redditfooter.html
View File

@@ -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>