css-team: clean up CSS code. Remove unnecessary styles.

git-svn-id: svn+ssh://atelier.inf.usi.ch/home/bevilj/group-1@43 a672b425-5310-4d7a-af5c-997e18724b81

site/_includes/header.html

@@ -1,9 +1,9 @@
 <div class="menuDesktop">
-  <div class="boxTitle">
+  <div class="logo">
     <a href="/index.html"><img src="/assets/style/logo_white.png" height="50"></a>
   </div>
   <div class="fill-space"></div>
-  <nav class="boxItem">
+  <nav class="nav-menu">
     <div>Learn
       <ul>
         <li>Basic commands</li>

site/_sass/_header.scss

@@ -1,11 +1,3 @@
-/*------- GLOBAL ------*/
-
-span {
-  display:inline-block;
-}
-
-/*------- MENU ------*/
-
 .menuDesktop {
   background-color: #131313;
   display: flex;
@@ -13,29 +5,21 @@ span {
   align-items: center;
   *{
     flex-grow: 0;
-    flex-shrink: 0;
   }
   .fill-space{
     flex-grow: 1;
   }
 }
 
-.boxTitle {
+.logo {
   padding: .5em;
 }
 
-.title {
-  color: green;
-  padding: 20px 0;
-}
-
-.boxItem {
+.nav-menu {
   margin-right: 10px;
   margin-left: 10px;
   display: inline-table;
-}
 
-.boxItem {
   div, code {
     display: table-cell;
     vertical-align: middle;