some tweaks to last merge

2013-01-28 20:09:57 -05:00
parent c2cd3d8498
commit d7e28ea07f
2 changed files with 36 additions and 34 deletions
@@ -20,10 +20,9 @@ html,body,p,h1,ul,li,table,tr,th,td
  position:fixed
  width: 100%;

-#head .pull-right{
+#head .pull-right
  margin-right: 2%
  margin-left: 1%
-  }

 .color-worst pre
  background-color: rgb(230, 184, 175)