#geri-editor {
  @import 'twitter/bootstrap';
  @import './skin-blue';

  .navbar, .navbar > .container, .navbar .navbar-brand {
    height: 32px;
    min-height: 32px;
    .navbar-brand {
      color: #FFF;
      padding: 5px 0 0 15px;
      font-size: small
    }
    .nav, .nav > li {
      height: 32px;
      a {
        padding: 2px;
      }
      .navbar-btn {
        margin: 2px 2px 0;
      }
    }
  }
}

body {
  padding-top: 32px !important;
  @keyframes highlight {
    0%  { background-color: #FFF;    }
    50% { background-color: #9dff00; }
    75% { background-color: #f3ffe0; }
    100% { background-color: #FFF; }
  }
  .highlight {
    animation-name: highlight;
    animation-duration: 1s;
    border-bottom: 2px dashed #3c8dbc;
  }
}