feat: removing button-like links styles and also an unecessary first link

Author: Joeu

static/shared/css/documentation.css

@@ -147,24 +147,8 @@ a img {
 
 #header ul.nav {
   float: right;
-  padding: 8px 3px 8px 2px;
   font-weight: bold;
-  text-shadow: white 1px 1px 0px;
-  font-size: 12px;
-  margin-top: 10px;
-  background: #f5f5f5;
-  filter:progid:DXImageTransform.Microsoft.gradient(GradientType=0, startColorstr='#fcfcfc', endColorstr='#ececec');
-  background:-webkit-gradient(linear, 0% 0%, 0% 100%, from(#fcfcfc), to(#e8e8e8));
-  background:-moz-linear-gradient(270deg, #fcfcfc, #ececec);
-  border-color:#eee;
-  border:1px solid #e9e9e9;
-  border-bottom-color:#f5f5f5;
-  -webkit-border-radius:2px;
-  -moz-border-radius:2px;
-  border-radius:2px;
-  -webkit-box-shadow:0 1px 1px rgba(0,0,0,0.2);
-  -moz-box-shadow:0 1px 1px rgba(0,0,0,0.2);
-  box-shadow:0 1px 1px rgba(0,0,0,0.2);
+  font-size: 13px;
 }
 
 #header ul.nav li:first-child {