From 26a1a08671ff4898ff9214a611e25cde375f5fb1 Mon Sep 17 00:00:00 2001
From: Arun Persaud <arun@nubati.net>
Date: Sat, 12 Jan 2013 16:34:54 -0800
Subject: [PATCH] LAYOUT: some small CSS adjustments

---
 css/bootstrap/navbar.less | 2 +-
 css/standard.less         | 6 +++---
 include/welcome.php       | 3 ++-
 js/layout.js              | 2 ++
 4 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/css/bootstrap/navbar.less b/css/bootstrap/navbar.less
index c261132..687fa3b 100644
--- a/css/bootstrap/navbar.less
+++ b/css/bootstrap/navbar.less
@@ -50,7 +50,7 @@
   float: left;
   display: block;
   // Vertically center the text given @navbarHeight
-  padding: ((@navbarHeight - @baseLineHeight) / 2) 20px ((@navbarHeight - @baseLineHeight) / 2);
+  padding: ((@navbarHeight - @baseLineHeight) / 2) 30px ((@navbarHeight - @baseLineHeight) / 2);
   margin-left: -20px; // negative indent to left-align the text down the page
   font-size: 20px;
   font-weight: 200;
diff --git a/css/standard.less b/css/standard.less
index 4ed01f7..4bbb555 100644
--- a/css/standard.less
+++ b/css/standard.less
@@ -46,8 +46,8 @@ footer {
   padding:0em 0.2em;
   border-top: 2px solid gray;
 }
-footer .right { float:right;     margin-top:1em; line-height:90%;font-size:smaller;}
-footer .left  { text-align:left;  line-height:90%;font-size:smaller;}
+footer .right { float:right;     margin-top:1em; line-height:90%;font-size:smaller; margin-right:1em;}
+footer .left  { text-align:left;  line-height:90%;font-size:smaller; margin-left: 1em;}
 
 .WIP {
   background-color: #efaaaa;
@@ -740,4 +740,4 @@ table.openid td, table.openid th{
 
 // bootstrap stuff
 .pagination {  text-align:center;}
-.nav > li > img { height: (@navbarHeight/2); }
+.nav > li > img { height: (@navbarHeight/1.5); }
diff --git a/include/welcome.php b/include/welcome.php
index 76d99d3..b9a1cbb 100644
--- a/include/welcome.php
+++ b/include/welcome.php
@@ -142,6 +142,7 @@ echo "\n\n<div class=\"login\">\n";
 
 <?php
   echo "<hr />";
+echo "<div class=\"welcomestats\">\n";
 echo "<h4>Some statistics:</h4>\n";
 
 if($pre == 0)
@@ -169,5 +170,5 @@ if($done==0)
  else
    echo "$done games have been completed on this server. Average time of a game: $avgage days</p>\n";
 ?>
-
+</div>
 </div>
diff --git a/js/layout.js b/js/layout.js
index e4b2043..74a0fe0 100644
--- a/js/layout.js
+++ b/js/layout.js
@@ -26,3 +26,5 @@ $(".doregister input").wrap('<div class="controls">');
 $(".doregister select").wrap('<div class="controls">');
 
 $(".gravatar").addClass('img-polaroid');
+
+$(".welcomestats").addClass('offset1');
-- 
2.25.1