.mickaSearch {
    max-height: 500px;
    min-height: 100px;
    font-size: 80%;
    padding: 0px;
    overflow-y: auto;
    font-weight: normal;
    color: #333333;
    white-space: nowrap;
    overflow-x: auto;
  } 
  
  .mickaSearch-float-wrapper {
    position: fixed !important;
    top: 120px;
    width:350px;
    max-width:800px;
    right: 20px;
    border: thin solid rgba(0, 0, 0, 0.38);
    border-radius: 5px;
    padding:10px;
    background-color: #fff;
    opacity: .95;
    z-index: 100;
    overflow: hidden;
  }
  
  .hide-btn{
    float: right;
  }
  
  .reload-btn{
    float: right;
  }
  
  .kill-btn{
    float: right;
  }
  
  .col-md-9 {
    overflow:hidden;
    margin-left: 14%;
    width: 80%}
  
  #mickaSearch-wrapper.closed {
    min-width: 250px;
    width: auto;
    transition: width;
  }
  #mickaSearch-wrapper:hover{
    opacity: 1;
  }
  #mickaSearch-wrapper .header {
    font-size: 16px;
    font-weight: bold;
  }
  #mickaSearch-wrapper .hide-btn {
    font-size: 14px;
    font-family: monospace;
  }
  
  #mickaSearch-wrapper .reload-btn {
    font-size: 14px;
    font-family: monospace;
  }
  
  #mickaSearch-wrapper .kill-btn {
    font-size: 14px;
    font-family: monospace;
  }
  
  
  
  /* don't waste so much screen space... */
  #mickaSearch-wrapper .toc-item{
    padding-left: 20px;
  }
  
  #mickaSearch-wrapper .toc-item .toc-item{
    padding-left: 10px;
  }