.navbar-fixed-top {
  position: static;
  margin-bottom: 18px;
}
.navbar .brand img {
  display: inline-block;
  height: 20px;
  vertical-align: middle;
  margin-right: 5px;
  margin-top: -2px;
}
.download-link {
  margin-top: 40px;
  margin-bottom: 30px;
  text-align: center;
}
.download-link .btn {
  padding: 20px;
  font-size: 1.4em;
}
.progress {
  margin-top: 18px;
}
ul.alert li {
  margin-left: 10px;
}


/* Music Category Badges */
.label-default {
  background-color: #999999;
}

td .label {
  margin-right: 3px;
  margin-bottom: 2px;
  display: inline-block;
}

/* Music category management */
.music-categories label.checkbox {
  padding: 8px 0;
  margin: 0;
  border-bottom: 1px solid #f0f0f0;
}

.music-categories label.checkbox:hover {
  background-color: #f9f9f9;
}

.music-categories label.checkbox input[type="checkbox"] {
  margin-top: 2px;
}