/* -*- css -*- */	
/* Move down content because we have a fixed navbar that is 50px tall */
body {
    padding-top: 50px;
    padding-bottom: 20px;
}

.navbar-inverse, .navbar-inverse .navbar-brand {
       /* blu unimi */
       background-color: rgb(7, 27, 80);
       color: white;
}

.navbar-inverse .navbar-nav>li>a {
    color: rgb(220,220,220);
}

.navhr {
    height:10px;
    border:none;
    color: rgb(26, 148, 48); /* == gives css warning */
    background-color:rgb(26, 148, 49);
    margin-top:0;
    margin-bottom:0;
}

.marginealto {
    margin-top: 10px;
}

.bianco{ 
       color: rgb(0,0,0);
       background-color: rgb(255, 255, 255);
 }

.unimi{ 	
       color: rgb(255,255,255);
       background-color: rgb(7, 27, 80);
       }

.di{ 	
       background-color: rgb(26, 148, 49);
       }


.grigio{ 
         color: rgb(0,0,0);
         background-color: rgb(221,221,221);
         }

li.pointless {  
               list-style-type: none;
}

.tiny { font-size: xx-small; }
.small { font-size: small; }
.norm { font-size: medium; }
.large { font-size: large; }
.huge { font-size: xx-large; }