LAYOUT: some small CSS adjustments

diff --git a/css/bootstrap/navbar.less b/css/bootstrap/navbar.less
index c2611320e8d9dc1c909fe37dd2321dbf512a0e6a..687fa3be1ee64fe2a8be39435ffee2e0a6b86ea4 100644 (file)
--- 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 4ed01f7539953485ae65515da6b9116853767972..4bbb555d04107fe6b9b4c6d10c32ee5ef19e4574 100644 (file)
--- 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 76d99d33d36f1173684807de98b801ad92a4a88b..b9a1cbbc646f3fc06bf75f6601be967953f0146b 100644 (file)
--- 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 e4b20437a4bd4e0eca0f5581699b1ad8c746d2b3..74a0fe0e33a49aafcddb0ad8d8a12def3262c0d6 100644 (file)
--- 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');