@import 'config';

#topbar {
  font-weight: bold;
  color: $white_base;
  background-color: $blue;
  padding: 8px;

  @include border-radius-uneven(0px, 0px, 2px, 2px);

  #user_info {
    float: right;
  }
}

@import 'config';

#topbar {
  font-weight: bold;
  color: $white_base;
  background-color: $blue;
  padding: 8px;

  background: #268bd2; /* Old browsers */
  background: -moz-linear-gradient(top, #268bd2 0%, #0082d3 100%); /* FF3.6+ */
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#268bd2), color-stop(100%,#0082d3)); /* Chrome,Safari4+ */
  background: -webkit-linear-gradient(top, #268bd2 0%,#0082d3 100%); /* Chrome10+,Safari5.1+ */
  background: -o-linear-gradient(top, #268bd2 0%,#0082d3 100%); /* Opera 11.10+ */
  background: -ms-linear-gradient(top, #268bd2 0%,#0082d3 100%); /* IE10+ */
  background: linear-gradient(top, #268bd2 0%,#0082d3 100%); /* W3C */
  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#268bd2', endColorstr='#0082d3',GradientType=0 ); /* IE6-9 */

  border-left:   1px solid darken($blue, 13%);
  border-right:  1px solid darken($blue, 13%);
  border-bottom: 1px solid darken($blue, 13%);

  @include border-radius-uneven(0px, 0px, 2px, 2px);

  #user_info {
    float: right;
  }
}

Add gradient and border to the topbar
Add gradient and border to the topbar
