anchor.diff:  
   #settings-menu{
     display: none;
  -  position: absolute;
  -  right: 0.5%;
  -  // min-width: 40%;
  +  position: fixed;
  +  right: 4px;
     background-color: #fff;
     z-index: -99;
  -  margin-top: -5px;
  +  margin-top: 35px;
     color: dimgrey;
     font-size: 1.2em;
     min-height: 34%;
     border-radius: 10px 5px 5px 5px;
  -  box-shadow: 0px 1px 1px rgba(0, 0, 0, 0.55); 
  +  box-shadow: 0px 1px 1px rgba(0, 0, 0, 0.55);
  +  overflow:auto; 
   
   
     #settings-title{    
       //Not working just yet
  -    //background-image: linear-gradient(to bottom 50% #9bd5d3 #5c9998);   
  -    background-color:#9bd5d3;
  +    @include gradient-vertical(#9bd5d3, #5c9998);
       border-bottom:#9d9d9d; 
       height:32px;
       padding-top:14px;
  
positive.code: 
  #splash {
    @include clearfix();
    margin-top: $navbar_height/3;
  }
  
  #map {
  
negative.code:     border-top: 1px solid #dadada;
  
      input {
        width:76%;
        font-size: 14px;
        height: 30px;
      }
      button {
        color: #fff;
        @include gradient-vertical(#7bb5b3, #548a89);
        @include size(30px, 40px);
        padding: 5px 8px;
        margin-left: -1px;
        border: 1px solid #ADACA1;
        //@include border-radius(0 $borderRadius $borderRadius 0);
      }
    }
  
  