LAYOUT: some small CSS adjustments
authorArun Persaud <arun@nubati.net>
Sun, 13 Jan 2013 00:34:54 +0000 (16:34 -0800)
committerArun Persaud <arun@nubati.net>
Sun, 13 Jan 2013 00:36:50 +0000 (16:36 -0800)
css/bootstrap/navbar.less
css/standard.less
include/welcome.php
js/layout.js

index c261132..687fa3b 100644 (file)
@@ -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;
index 4ed01f7..4bbb555 100644 (file)
@@ -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); }
index 76d99d3..b9a1cbb 100644 (file)
@@ -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>
index e4b2043..74a0fe0 100644 (file)
@@ -26,3 +26,5 @@ $(".doregister input").wrap('<div class="controls">');
 $(".doregister select").wrap('<div class="controls">');
 
 $(".gravatar").addClass('img-polaroid');
+
+$(".welcomestats").addClass('offset1');